vhpet_timer_msi_enabled
if (vhpet_timer_msi_enabled(vhpet, n))
KASSERT(!vhpet_timer_msi_enabled(vhpet, n), ("vhpet_timer_edge_trig: "
if (vhpet_timer_msi_enabled(vhpet, n)) {
if (vhpet_timer_msi_enabled(vhpet, n) ||
else if (vhpet_timer_msi_enabled(vhpet, n))