HPET_MEM_WIDTH_MIN
HPET_MEM_WIDTH, HPET_MEM_WIDTH_MIN);
acpi_hpet_res_start + HPET_MEM_WIDTH_MIN - 1,
HPET_MEM_WIDTH_MIN, RF_ACTIVE);
if (rman_get_size(sc->mem_res) < HPET_MEM_WIDTH_MIN) {