Searched refs:GUEST_KERNEL_RPL (Results 1 – 2 of 2) sorted by relevance
41 #define GUEST_KERNEL_RPL(d) (is_pv_32bit_domain(d) ? 1 : 3) macro46 uint16_t _rpl = GUEST_KERNEL_RPL(d); \
331 if ( (sel & 3) != GUEST_KERNEL_RPL(v->domain) ) in pv_emulate_gate_op()
Completed in 4 milliseconds