taglinefilesource code
la_ptr424arch/alpha/kernel/apecs.cvoid apecs_machine_check(unsigned long vector, unsigned long la_ptr,
la_ptr430arch/alpha/kernel/apecs.cmchk_header = (struct el_common *)la_ptr;
la_ptr433arch/alpha/kernel/apecs.c(struct el_apecs_sysdata_mcheck *)(la_ptr + mchk_header->sys_offset);
la_ptr435arch/alpha/kernel/apecs.cDBG(("apecs_machine_check: vector=0x%lx la_ptr=0x%lx\n", vector, la_ptr));
la_ptr444arch/alpha/kernel/apecs.cptr = (unsigned long *)la_ptr;
la_ptr566arch/alpha/kernel/irq.casmlinkage void do_entInt(unsigned long type, unsigned long vector, unsigned long la_ptr,
la_ptr578arch/alpha/kernel/irq.cmachine_check(vector, la_ptr, &regs);