Home
last modified time | relevance | path

Searched refs:GUEST_KERNEL_RPL (Results 1 – 2 of 2) sorted by relevance

/xen-4.10.0-shim-comet/xen/include/asm-x86/
A Ddesc.h41 #define GUEST_KERNEL_RPL(d) (is_pv_32bit_domain(d) ? 1 : 3) macro
46 uint16_t _rpl = GUEST_KERNEL_RPL(d); \
/xen-4.10.0-shim-comet/xen/arch/x86/pv/
A Demul-gate-op.c331 if ( (sel & 3) != GUEST_KERNEL_RPL(v->domain) ) in pv_emulate_gate_op()

Completed in 4 milliseconds