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);