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