Searched refs:hvm_get_cpl (Results 1 – 7 of 7) sorted by relevance
92 return hvm_get_cpl(curr) != 3; in xenoprofile_get_mode()
122 if ( hvm_get_cpl(curr) == 3 ) in gfn_of_rip()
163 if ( unlikely(hvm_get_cpl(curr)) ) in hvm_hypercall()
3367 return hvm_get_cpl(v) > 0; in hvm_check_cpuid_faulting()3382 if ( unlikely(hvm_get_cpl(curr)) ) in _hvm_rdtsc_intercept()
357 hvm_get_cpl(struct vcpu *v) in hvm_get_cpl() function
1694 if ( is_hvm_domain(d) ? hvm_get_cpl(v) == 3 in sh_emulate_map_dest()
3053 (is_pv_vcpu(v) ? (regs->ss & 3) : hvm_get_cpl(v)) == 3 ) in sh_page_fault()
Completed in 28 milliseconds