36 	write_sysreg(0, osdlr_el1);  in reset_debug_state()
37 	write_sysreg(0, oslar_el1);  in reset_debug_state()
40 	write_sysreg(0, mdscr_el1);  in reset_debug_state()
42 	write_sysreg(0, dbgbvr0_el1);  in reset_debug_state()
43 	write_sysreg(0, dbgbcr0_el1);  in reset_debug_state()
44 	write_sysreg(0, dbgwcr0_el1);  in reset_debug_state()
45 	write_sysreg(0, dbgwvr0_el1);  in reset_debug_state()
51 	write_sysreg(1, oslar_el1);  in enable_os_lock()
63 	write_sysreg(wcr, dbgwcr0_el1);  in install_wp()
64 	write_sysreg(addr, dbgwvr0_el1);  in install_wp()
70 	write_sysreg(mdscr, mdscr_el1);  in install_wp()
80 	write_sysreg(bcr, dbgbcr0_el1);  in install_hw_bp()
81 	write_sysreg(addr, dbgbvr0_el1);  in install_hw_bp()
87 	write_sysreg(mdscr, mdscr_el1);  in install_hw_bp()
98 	write_sysreg(mdscr, mdscr_el1);  in install_ss()
266 		write_sysreg(w_bvr, dbgbvr0_el1);  in guest_code_ss()
267 		write_sysreg(w_wvr, dbgwvr0_el1);  in guest_code_ss()