Searched refs:__read_pkru (Results 1 – 3 of 3) sorted by relevance
95 static inline u32 __read_pkru(void) in __read_pkru() function122 static inline u32 __read_pkru(void) in __read_pkru() function
131 return __read_pkru(); in read_pkru()
10916 vcpu->arch.pkru = __read_pkru(); in vmx_vcpu_run()
