tag	line	file	source code
rdmces	424	arch/alpha/kernel/lca.c	wrmces(rdmces());  /* reset machine check pending flag */
rdmces	50	include/asm-alpha/system.h	extern unsigned long rdmces (void);