Symbol: __marvel_rtc_io
arch/alpha/kernel/core_marvel.c
810
return __marvel_rtc_io(0, addr, 0);
arch/alpha/kernel/core_marvel.c
828
__marvel_rtc_io(b, addr, 1);