taglinefilesource code
rdmces424arch/alpha/kernel/lca.cwrmces(rdmces());  /* reset machine check pending flag */
rdmces50include/asm-alpha/system.hextern unsigned long rdmces (void);