Searched refs:psw_set_key (Results 1 – 2 of 2) sorted by relevance
234 static inline void psw_set_key(unsigned int key) in psw_set_key() function
831 psw_set_key(PAGE_DEFAULT_KEY); in setup_memory()