hv_do_hypercall
u64 hv_do_hypercall(u64 control, void *input, void *output)
static inline u64 hv_do_hypercall(u64 control, void *input, void *output)