Searched refs:launch_type (Results 1 – 1 of 1) sorted by relevance
643 static inline int32_t exec_vmentry(struct run_context *ctx, int32_t launch_type, int32_t ibrs_type) in exec_vmentry() argument652 return vmx_vmrun(ctx, launch_type, ibrs_type); in exec_vmentry()707 int32_t launch_type; in run_vcpu() local711 launch_type = VM_RESUME; in run_vcpu()714 launch_type = VM_LAUNCH; in run_vcpu()718 status = exec_vmentry(ctx, launch_type, ibrs_type); in run_vcpu()
Completed in 4 milliseconds