598 #define write_c0_index(val)		__write_32bit_c0_register($0, 0, val)  argument
601 #define write_c0_random(val)	__write_32bit_c0_register($1, 0, val)  argument
604 #define write_c0_entrylo0(val)	__write_32bit_c0_register($2, 0, val)  argument
607 #define write_c0_entrylo1(val)	__write_32bit_c0_register($3, 0, val)  argument
610 #define write_c0_conf(val)		__write_32bit_c0_register($3, 0, val)  argument
613 #define write_c0_context(val)	__write_32bit_c0_register($4, 0, val)  argument
616 #define write_c0_userlocal(val)	__write_32bit_c0_register($4, 2, val)  argument
619 #define write_c0_pagemask(val)	__write_32bit_c0_register($5, 0, val)  argument
622 #define write_c0_wired(val)		__write_32bit_c0_register($6, 0, val)  argument
627 #define write_c0_cache(val)		__write_32bit_c0_register($7, 0, val)  argument
630 #define write_c0_badvaddr(val)	__write_32bit_c0_register($8, 0, val)  argument
633 #define write_c0_count(val)		__write_32bit_c0_register($9, 0, val)  argument
636 #define write_c0_count2(val)	__write_32bit_c0_register($9, 6, val)  argument
639 #define write_c0_count3(val)	__write_32bit_c0_register($9, 7, val)  argument
642 #define write_c0_entryhi(val)	__write_32bit_c0_register($10, 0, val)  argument
645 #define write_c0_compare(val)	__write_32bit_c0_register($11, 0, val)  argument
648 #define write_c0_compare2(val)	__write_32bit_c0_register($11, 6, val)  argument
651 #define write_c0_compare3(val)	__write_32bit_c0_register($11, 7, val)  argument
654 #define write_c0_status(val)	__write_32bit_c0_register($12, 0, val)  argument
657 #define write_c0_cause(val)		__write_32bit_c0_register($13, 0, val)  argument
660 #define write_c0_epc(val)		__write_32bit_c0_register($14, 0, val)  argument
665 #define write_c0_ebase(val)		__write_32bit_c0_register($15, 1, val)  argument
671 #define write_c0_config(val)	__write_32bit_c0_register($16, 0, val)  argument
672 #define write_c0_config1(val)	__write_32bit_c0_register($16, 1, val)  argument
673 #define write_c0_config2(val)	__write_32bit_c0_register($16, 2, val)  argument
674 #define write_c0_config3(val)	__write_32bit_c0_register($16, 3, val)  argument
700 #define write_c1_status(val)        write_32bit_cp1_register(CP1_STATUS, val)  argument