__marvel_rtc_io   816 arch/alpha/kernel/core_marvel.c 		return __marvel_rtc_io(0, addr, 0);
__marvel_rtc_io   834 arch/alpha/kernel/core_marvel.c 		__marvel_rtc_io(b, addr, 1);