Searched refs:pkru_val (Results 1 – 1 of 1) sorted by relevance
559 u32 pkru_val = init_pkru_value; in switch_fpu_finish() local585 pkru_val = pk ? pk->pkru : 0; in switch_fpu_finish()587 __write_pkru(pkru_val); in switch_fpu_finish()