smbus_write
smbus_write(SMBUS_PCI_REGB4, HPET_ADDR);
smbus_write(offset, cfg);
TRACE_EVENT_CONDITION(smbus_write,