hv_vp_register_page_interrupt_vectors
mshv_vp_irq_vector_injected(union hv_vp_register_page_interrupt_vectors iv,
union hv_vp_register_page_interrupt_vectors iv, new_iv;
union hv_vp_register_page_interrupt_vectors interrupt_vectors;