Searched defs:ibrs_type (Results 1 – 2 of 2) sorted by relevance
18 static int32_t ibrs_type; variable
643 static inline int32_t exec_vmentry(struct run_context *ctx, int32_t launch_type, int32_t ibrs_type) in exec_vmentry()700 int32_t ibrs_type = get_ibrs_type(); in run_vcpu() local
Completed in 7 milliseconds