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 */