Lines Matching refs:read_pkey_reg
214 u64 orig_pkey_reg = read_pkey_reg(); in pkey_disable_set()
243 __func__, pkey, read_pkey_reg()); in pkey_disable_set()
245 pkey_assert(read_pkey_reg() >= orig_pkey_reg); in pkey_disable_set()
255 u64 orig_pkey_reg = read_pkey_reg(); in pkey_disable_clear()
274 pkey, read_pkey_reg()); in pkey_disable_clear()
276 assert(read_pkey_reg() <= orig_pkey_reg); in pkey_disable_clear()
535 read_pkey_reg(); in alloc_pkey()
710 read_pkey_reg(); in malloc_pkey_with_mprotect()
719 read_pkey_reg(); in malloc_pkey_with_mprotect()
1039 read_pkey_reg(); in test_read_of_access_disabled_region()
1056 read_pkey_reg(); in test_read_of_access_disabled_region_with_page_already_mapped()
1229 read_pkey_reg(); /* for shadow checking */ in test_pkey_alloc_exhaust()
1277 read_pkey_reg(); /* for shadow checking */ in test_pkey_alloc_exhaust()
1423 dprintf2("pkey_reg: %016llx\n", read_pkey_reg()); in test_executing_on_unreadable_memory()
1452 dprintf2("pkey_reg: %016llx\n", read_pkey_reg()); in test_implicit_mprotect_exec_only_memory()
1572 printf("startup pkey_reg: %016llx\n", read_pkey_reg()); in main()