VHPET_BASE
offset = gpa - VHPET_BASE;
offset = gpa - VHPET_BASE;
} else if (gpa >= VHPET_BASE && gpa < VHPET_BASE + VHPET_SIZE) {
} else if (kernemu->gpa >= VHPET_BASE &&
kernemu->gpa < VHPET_BASE + VHPET_SIZE) {
.base = VHPET_BASE,