pkey_reg_restrictive_default
__write_pkey_reg(pkey_reg_restrictive_default());
__write_pkey_reg(pkey_reg_restrictive_default());
pkey_reg = pkey_reg_restrictive_default();
pkey_reg = pkey_reg_restrictive_default();
pkey_reg = pkey_reg_restrictive_default();
pkey_reg = pkey_reg_restrictive_default();
pkey_reg = pkey_reg_restrictive_default();