Searched refs:read_pkru (Results 1 – 5 of 5) sorted by relevance
38 !__pkru_allows_read(read_pkru(), execute_only_pkey)) { in __execute_only_pkey()
130 static inline u32 read_pkru(void) in read_pkru() function1401 u32 pkru = read_pkru(); in __pkru_allows_pkey()
140 printk("%sPKRU: %08x\n", log_lvl, read_pkru()); in __show_regs()
1025 old_pkru = read_pkru(); in arch_set_user_pkey_access()
3934 vcpu->arch.host_pkru = read_pkru(); in kvm_arch_vcpu_load()
