34 	u32 val;  in read_intctl_0()  local
35 	asm volatile("mrc p6, 0, %0, c0, c4, 0":"=r" (val));  in read_intctl_0()
36 	return val;  in read_intctl_0()
38 static void write_intctl_0(u32 val)  in write_intctl_0()  argument
40 	asm volatile("mcr p6, 0, %0, c0, c4, 0"::"r" (val));  in write_intctl_0()
47 	u32 val;  in read_intctl_1()  local
48 	asm volatile("mrc p6, 0, %0, c1, c4, 0":"=r" (val));  in read_intctl_1()
49 	return val;  in read_intctl_1()
51 static void write_intctl_1(u32 val)  in write_intctl_1()  argument
53 	asm volatile("mcr p6, 0, %0, c1, c4, 0"::"r" (val));  in write_intctl_1()
60 	u32 val;  in read_intctl_2()  local
61 	asm volatile("mrc p6, 0, %0, c2, c4, 0":"=r" (val));  in read_intctl_2()
62 	return val;  in read_intctl_2()
64 static void write_intctl_2(u32 val)  in write_intctl_2()  argument
66 	asm volatile("mcr p6, 0, %0, c2, c4, 0"::"r" (val));  in write_intctl_2()
73 	u32 val;  in read_intctl_3()  local
74 	asm volatile("mrc p6, 0, %0, c3, c4, 0":"=r" (val));  in read_intctl_3()
75 	return val;  in read_intctl_3()
77 static void write_intctl_3(u32 val)  in write_intctl_3()  argument
79 	asm volatile("mcr p6, 0, %0, c3, c4, 0"::"r" (val));  in write_intctl_3()
84 static void write_intstr_0(u32 val)  in write_intstr_0()  argument
86 	asm volatile("mcr p6, 0, %0, c0, c5, 0"::"r" (val));  in write_intstr_0()
91 static void write_intstr_1(u32 val)  in write_intstr_1()  argument
93 	asm volatile("mcr p6, 0, %0, c1, c5, 0"::"r" (val));  in write_intstr_1()
98 static void write_intstr_2(u32 val)  in write_intstr_2()  argument
100 	asm volatile("mcr p6, 0, %0, c2, c5, 0"::"r" (val));  in write_intstr_2()
105 static void write_intstr_3(u32 val)  in write_intstr_3()  argument
107 	asm volatile("mcr p6, 0, %0, c3, c5, 0"::"r" (val));  in write_intstr_3()
112 static void write_intbase(u32 val)  in write_intbase()  argument
114 	asm volatile("mcr p6, 0, %0, c0, c2, 0"::"r" (val));  in write_intbase()
119 static void write_intsize(u32 val)  in write_intsize()  argument
121 	asm volatile("mcr p6, 0, %0, c2, c2, 0"::"r" (val));  in write_intsize()