mshv_vtl_return_call
void mshv_vtl_return_call(struct mshv_vtl_cpu_context *vtl0)
static inline void mshv_vtl_return_call(struct mshv_vtl_cpu_context *vtl0) {}