34 	u32 val;  in read_intctl_0()  local
38 static void write_intctl_0(u32 val)  in write_intctl_0()
47 	u32 val;  in read_intctl_1()  local
51 static void write_intctl_1(u32 val)  in write_intctl_1()
60 	u32 val;  in read_intctl_2()  local
64 static void write_intctl_2(u32 val)  in write_intctl_2()
73 	u32 val;  in read_intctl_3()  local
77 static void write_intctl_3(u32 val)  in write_intctl_3()
84 static void write_intstr_0(u32 val)  in write_intstr_0()
91 static void write_intstr_1(u32 val)  in write_intstr_1()
98 static void write_intstr_2(u32 val)  in write_intstr_2()
105 static void write_intstr_3(u32 val)  in write_intstr_3()
112 static void write_intbase(u32 val)  in write_intbase()
119 static void write_intsize(u32 val)  in write_intsize()