taglinefilesource code
la_ptr449arch/alpha/kernel/apecs.cvoid apecs_machine_check(unsigned long vector, unsigned long la_ptr,
la_ptr455arch/alpha/kernel/apecs.cmchk_header = (struct el_common *)la_ptr;
la_ptr458arch/alpha/kernel/apecs.c(struct el_apecs_sysdata_mcheck *)(la_ptr + mchk_header->sys_offset);
la_ptr460arch/alpha/kernel/apecs.cDBG(("apecs_machine_check: vector=0x%lx la_ptr=0x%lx\n", vector, la_ptr));
la_ptr470arch/alpha/kernel/apecs.cptr = (unsigned long *)la_ptr;
la_ptr606arch/alpha/kernel/irq.casmlinkage void do_entInt(unsigned long type, unsigned long vector, unsigned long la_ptr,
la_ptr618arch/alpha/kernel/irq.cmachine_check(vector, la_ptr, &regs);