EV7_CSR_KERN       58 arch/alpha/kernel/core_marvel.c 	ev7_csr *ev7csr = EV7_CSR_KERN(pe, offset);
EV7_CSR_KERN       71 arch/alpha/kernel/core_marvel.c 	ev7_csr *ev7csr = EV7_CSR_KERN(pe, offset);