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()
709 	read_pkey_reg();  in malloc_pkey_with_mprotect()
718 	read_pkey_reg();  in malloc_pkey_with_mprotect()
1038 	read_pkey_reg();  in test_read_of_access_disabled_region()
1055 	read_pkey_reg();  in test_read_of_access_disabled_region_with_page_already_mapped()
1228 		read_pkey_reg(); /* for shadow checking */  in test_pkey_alloc_exhaust()
1276 		read_pkey_reg(); /* for shadow checking */  in test_pkey_alloc_exhaust()
1290 	if (read_pkey_reg())  in arch_force_pkey_reg_init()
1343 		read_pkey_reg();  in test_pkey_init_state()
1348 		read_pkey_reg(); /* for shadow checking */  in test_pkey_init_state()
1494 	dprintf2("pkey_reg: %016llx\n", read_pkey_reg());  in test_executing_on_unreadable_memory()
1530 	dprintf2("pkey_reg: %016llx\n", read_pkey_reg());  in test_implicit_mprotect_exec_only_memory()
1653 	printf("startup pkey_reg: %016llx\n", read_pkey_reg());  in main()