Symbol: hv_hypercall_trampoline
sys/dev/pv/hyperv.c
404
extern uint64_t hv_hypercall_trampoline(uint64_t, paddr_t, paddr_t);
sys/dev/pv/hyperv.c
405
status = hv_hypercall_trampoline(control, input_pa, output_pa);