Searched refs:ibrs_type (Results 1 – 2 of 2) sorted by relevance
| /hypervisor/arch/x86/ |
| A D | security.c | 18 static int32_t ibrs_type; variable
30 ibrs_type = IBRS_NONE; in detect_ibrs()
39 ibrs_type = IBRS_RAW; in detect_ibrs()
41 ibrs_type = IBRS_OPT; in detect_ibrs()
85 return ibrs_type; in get_ibrs_type()
|
| /hypervisor/arch/x86/guest/ |
| A D | vcpu.c | 643 static inline int32_t exec_vmentry(struct run_context *ctx, int32_t launch_type, int32_t ibrs_type) in exec_vmentry() argument
652 return vmx_vmrun(ctx, launch_type, ibrs_type); in exec_vmentry()
700 int32_t ibrs_type = get_ibrs_type(); in run_vcpu() local
718 status = exec_vmentry(ctx, launch_type, ibrs_type); in run_vcpu()
749 if (ibrs_type == IBRS_RAW) { in run_vcpu()
754 status = exec_vmentry(ctx, VM_LAUNCH, ibrs_type); in run_vcpu()
772 status = exec_vmentry(ctx, VM_RESUME, ibrs_type); in run_vcpu()
|
Completed in 4 milliseconds