HPET_STATUS
is_irq = hpet_read(HPET_STATUS);
hpet_write(HPET_STATUS, HPET_T0_IRS);
status = hpet_readl(HPET_STATUS);