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