__mshv_vtl_return_call
__mshv_vtl_return_call(vtl0);
void __mshv_vtl_return_call(struct mshv_vtl_cpu_context *vtl0);