IO7_PORT7_CSRS_KERN  194 arch/alpha/kernel/core_marvel.c 	p7csrs = IO7_PORT7_CSRS_KERN(io7->pe);
IO7_PORT7_CSRS_KERN  347 arch/alpha/kernel/core_marvel.c 	io7->csrs = IO7_PORT7_CSRS_KERN(io7->pe);