Searched refs:mdscr_el1 (Results 1 – 6 of 6) sorted by relevance
51 vcpu->arch.guest_debug_preserved.mdscr_el1 = val; in save_guest_debug_regs()54 vcpu->arch.guest_debug_preserved.mdscr_el1); in save_guest_debug_regs()59 u64 val = vcpu->arch.guest_debug_preserved.mdscr_el1; in restore_guest_debug_regs()
88 mrs \tmp, mdscr_el190 msr mdscr_el1, \tmp98 mrs \tmp, mdscr_el1100 msr mdscr_el1, \tmp
273 u32 mdscr_el1; member
76 mrs x8, mdscr_el1126 msr mdscr_el1, x10410 msr mdscr_el1, x0 // access to the DCC from EL0
52 write_sysreg(mdscr, mdscr_el1); in mdscr_write()59 return read_sysreg(mdscr_el1); in mdscr_read()
38 ctxt->sys_regs[MDSCR_EL1] = read_sysreg(mdscr_el1); in __sysreg_save_common_state()110 write_sysreg(ctxt->sys_regs[MDSCR_EL1], mdscr_el1); in __sysreg_restore_common_state()
