mshv_vtl_return_call
EXPORT_SYMBOL(mshv_vtl_return_call);
void mshv_vtl_return_call(struct mshv_vtl_cpu_context *vtl0);
mshv_vtl_return_call(vtl0);