Searched refs:dbgwcr_el1 (Results 1 – 3 of 3) sorted by relevance
95 set_arch_unknown(el2ctx->dbgwcr_el1); in reset_vm_el01_regs()
91 uint64_t dbgwcr_el1[16]; /* Debug Watchpoint Control Registers */ member
142 hypctx->dbgwcr_el1[x] = \ in vmm_hyp_reg_store()419 hypctx->dbgwcr_el1[x]); \ in vmm_hyp_reg_restore()