LAPIC_HYPERV_VECTOR
idt_allocmap[LAPIC_HYPERV_VECTOR] = 1;
idt_vec_set(LAPIC_HYPERV_VECTOR, Xintr_hyperv_upcall);
sc->sc_idtvec = LAPIC_HYPERV_VECTOR;