Searched refs:write_pkru (Results 1 – 3 of 3) sorted by relevance
42 static inline void write_pkru(u32 pkru) in write_pkru() function
1040 write_pkru(old_pkru | new_pkru_bits); in arch_set_user_pkey_access()
1037 write_pkru(vcpu->arch.pkru); in kvm_load_guest_xsave_state()1051 write_pkru(vcpu->arch.host_pkru); in kvm_load_host_xsave_state()