hypercall_signal_event
uint64_t hypercall_signal_event(bus_addr_t monprm_paddr);
hypercall_signal_event(pmap_kextract(