Symbol: RTC_EQUIPMENT
sys/dev/fb/vga.c
3018
rtcin(RTC_EQUIPMENT), readb(BIOS_PADDRTOVADDR(0x488)));
sys/dev/fb/vga.c
936
switch ((rtcin(RTC_EQUIPMENT) >> 4) & 3) { /* bit 4 and 5 */