Searched refs:init_pkru_value (Results 1 – 1 of 1) sorted by relevance
134 u32 init_pkru_value = PKRU_AD_KEY( 1) | PKRU_AD_KEY( 2) | PKRU_AD_KEY( 3) | variable148 u32 init_pkru_value_snapshot = READ_ONCE(init_pkru_value); in copy_init_pkru_to_fpregs()169 len = sprintf(buf, "0x%x\n", init_pkru_value); in init_pkru_read_file()197 WRITE_ONCE(init_pkru_value, new_init_pkru); in init_pkru_write_file()222 WRITE_ONCE(init_pkru_value, new_init_pkru); in setup_init_pkru()
