__hyperv_hypercall
vector = __hyperv_hypercall(control, input_address, output_address, &hv_status);
__hyperv_hypercall(HVCALL_FLUSH_VIRTUAL_ADDRESS_SPACE | HV_HYPERCALL_FAST_BIT, 0x0,
vector = __hyperv_hypercall(hcall->control, input, output, &res);
__hyperv_hypercall(HVCALL_FLUSH_VIRTUAL_ADDRESS_SPACE |