K_THERMTRIP_STAT_R
t = pci_read_config(sc->sc_dev, K_THERMTRIP_STAT_R, 4);
pci_write_config(sc->sc_dev, K_THERMTRIP_STAT_R, t, 4);