Searched refs:read_pkru (Results 1 – 5 of 5) sorted by relevance
37 !__pkru_allows_read(read_pkru(), execute_only_pkey)) { in __execute_only_pkey()
129 static inline u32 read_pkru(void) in read_pkru() function1416 u32 pkru = read_pkru(); in __pkru_allows_pkey()
141 printk(KERN_DEFAULT "PKRU: %08x\n", read_pkru()); in __show_regs()
973 old_pkru = read_pkru(); in arch_set_user_pkey_access()
8312 vcpu->arch.host_pkru = read_pkru(); in vcpu_enter_guest()