- outb(0x70,9); /* year */
- printf("%d ",bcd(inb(0x71)));
- outb(0x70,8); /* month */
- printf("%d ",bcd(inb(0x71)));
- outb(0x70,7); /* day */
- printf("%d ",bcd(inb(0x71)));
- outb(0x70,4); /* hour */
- printf("%d ",bcd(inb(0x71)));
- outb(0x70,2); /* minutes */
- printf("%d ",bcd(inb(0x71)));
- outb(0x70,0); /* seconds */
- printf("%d\n",bcd(inb(0x71)));
+ outb(IO_RTC,9); /* year */
+ printf("%d ",bcd(inb(IO_RTC+1)));
+ outb(IO_RTC,8); /* month */
+ printf("%d ",bcd(inb(IO_RTC+1)));
+ outb(IO_RTC,7); /* day */
+ printf("%d ",bcd(inb(IO_RTC+1)));
+ outb(IO_RTC,4); /* hour */
+ printf("%d ",bcd(inb(IO_RTC+1)));
+ outb(IO_RTC,2); /* minutes */
+ printf("%d ",bcd(inb(IO_RTC+1)));
+ outb(IO_RTC,0); /* seconds */
+ printf("%d\n",bcd(inb(IO_RTC+1)));