__marvel_is_port_rtc  815 arch/alpha/kernel/core_marvel.c 	else if (__marvel_is_port_rtc(addr))
__marvel_is_port_rtc  833 arch/alpha/kernel/core_marvel.c 	else if (__marvel_is_port_rtc(addr))