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()
129 static inline u32 read_pkru(void) in read_pkru() function1412 u32 pkru = read_pkru(); in __pkru_allows_pkey()
141 printk(KERN_DEFAULT "PKRU: %08x\n", read_pkru()); in __show_regs()
928 old_pkru = read_pkru(); in arch_set_user_pkey_access()
1387 vmx->host_pkru = read_pkru(); in vmx_vcpu_load()
