init_pkru_value
extern u32 init_pkru_value;
#define pkru_get_init_value() READ_ONCE(init_pkru_value)
u32 init_pkru_value = PKRU_AD_MASK( 1) | PKRU_AD_MASK( 2) |
len = sprintf(buf, "0x%x\n", init_pkru_value);
WRITE_ONCE(init_pkru_value, new_init_pkru);
WRITE_ONCE(init_pkru_value, new_init_pkru);