read_pkey_reg
read_pkey_reg();
read_pkey_reg(); /* for shadow checking */
read_pkey_reg(); /* for shadow checking */
if (read_pkey_reg())
read_pkey_reg();
read_pkey_reg(); /* for shadow checking */
dprintf2("pkey_reg: %016llx\n", read_pkey_reg());
dprintf2("pkey_reg: %016llx\n", read_pkey_reg());
new_pkru = ~read_pkey_reg();
pkey_assert(*pkey_register == read_pkey_reg());
pkey_assert(trace_pkey == read_pkey_reg());
printf("startup pkey_reg: %016llx\n", read_pkey_reg());
__func__, pkey, read_pkey_reg());
pkey, read_pkey_reg());
read_pkey_reg();
read_pkey_reg();
read_pkey_reg();
read_pkey_reg();
read_pkey_reg();