Searched refs:pkru_val (Results 1 – 1 of 1) sorted by relevance
595 u32 pkru_val = init_pkru_value; in switch_fpu_finish() local613 pkru_val = pk->pkru; in switch_fpu_finish()615 __write_pkru(pkru_val); in switch_fpu_finish()
