CMOS_BASE_PORT
(CMOS_BASE_PORT + CMOS_PAGE2_INDEX_PORT_PIIX4));
(CMOS_BASE_PORT + CMOS_PAGE2_DATA_PORT_PIIX4));
outb(index, (CMOS_BASE_PORT + CMOS_PAGE1_INDEX_PORT));
outb(*data, (CMOS_BASE_PORT + CMOS_PAGE1_DATA_PORT));