Lines Matching refs:__read_32bit_c0_register
688 #define __read_32bit_c0_register(source, sel) \ macro
752 __read_32bit_c0_register(reg, sel) : \
824 #define read_c0_index() __read_32bit_c0_register($0, 0)
833 #define read_c0_conf() __read_32bit_c0_register($3, 0)
839 #define read_c0_pagemask() __read_32bit_c0_register($5, 0)
842 #define read_c0_wired() __read_32bit_c0_register($6, 0)
845 #define read_c0_info() __read_32bit_c0_register($7, 0)
847 #define read_c0_cache() __read_32bit_c0_register($7, 0) /* TX39xx */
850 #define read_c0_count() __read_32bit_c0_register($9, 0)
856 #define read_c0_compare() __read_32bit_c0_register($11, 0)
859 #define read_c0_status() __read_32bit_c0_register($12, 0)
862 #define read_c0_cause() __read_32bit_c0_register($13, 0)
865 #define read_c0_prid() __read_32bit_c0_register($15, 0)
867 #define read_c0_ebase() __read_32bit_c0_register($15, 1)
870 #define read_c0_config() __read_32bit_c0_register($16, 0)
871 #define read_c0_config1() __read_32bit_c0_register($16, 1)
872 #define read_c0_config2() __read_32bit_c0_register($16, 2)
873 #define read_c0_config3() __read_32bit_c0_register($16, 3)
902 #define read_c0_watchhi0() __read_32bit_c0_register($19, 0)
903 #define read_c0_watchhi1() __read_32bit_c0_register($19, 1)
904 #define read_c0_watchhi2() __read_32bit_c0_register($19, 2)
905 #define read_c0_watchhi3() __read_32bit_c0_register($19, 3)
906 #define read_c0_watchhi4() __read_32bit_c0_register($19, 4)
907 #define read_c0_watchhi5() __read_32bit_c0_register($19, 5)
908 #define read_c0_watchhi6() __read_32bit_c0_register($19, 6)
909 #define read_c0_watchhi7() __read_32bit_c0_register($19, 7)
923 #define read_c0_intcontrol() __read_32bit_c0_register($20, 1)
926 #define read_c0_framemask() __read_32bit_c0_register($21, 0)
929 #define read_c0_debug() __read_32bit_c0_register($23, 0)
935 #define read_c0_ecc() __read_32bit_c0_register($26, 0)
941 #define read_c0_cacheerr() __read_32bit_c0_register($27, 0)
946 #define read_c0_taglo() __read_32bit_c0_register($28, 0)
949 #define read_c0_taghi() __read_32bit_c0_register($29, 0)