Searched refs:IN_NESTED_ERET (Results 1 – 2 of 2) sorted by relevance
355 return vcpu_get_flag(vcpu, IN_NESTED_ERET); in vgic_v4_want_doorbell()
1112 #define IN_NESTED_ERET __vcpu_single_flag(sflags, BIT(7)) macro