42 static void mdscr_write(u32 mdscr)  in mdscr_write()  argument
46 	asm volatile("msr mdscr_el1, %0" :: "r" (mdscr));  in mdscr_write()
52 	u32 mdscr;  in mdscr_read()  local
53 	asm volatile("mrs %0, mdscr_el1" : "=r" (mdscr));  in mdscr_read()
54 	return mdscr;  in mdscr_read()
87 	u32 mdscr, enable = 0;  in enable_debug_monitors()  local
99 		mdscr = mdscr_read();  in enable_debug_monitors()
100 		mdscr |= enable;  in enable_debug_monitors()
101 		mdscr_write(mdscr);  in enable_debug_monitors()
107 	u32 mdscr, disable = 0;  in disable_debug_monitors()  local
119 		mdscr = mdscr_read();  in disable_debug_monitors()
120 		mdscr &= disable;  in disable_debug_monitors()
121 		mdscr_write(mdscr);  in disable_debug_monitors()