tag	line	file	source code
wrmces	122	arch/alpha/kernel/lca.c	wrmces(0x7);      /* reset machine check */
wrmces	159	arch/alpha/kernel/lca.c	wrmces(0x7);      /* reset machine check */
wrmces	39	include/asm-alpha/system.h	extern void wrmces (unsigned long);