Searched refs:write_c0_kpgd (Results 1 – 2 of 2) sorted by relevance
1963 #define write_c0_kpgd(val) __write_64bit_c0_register($31, 7, val) macro
1488 write_c0_kpgd((long)swapper_pg_dir); in setup_pw()