Searched refs:dbgbcr_el1 (Results 1 – 3 of 3) sorted by relevance
93 set_arch_unknown(el2ctx->dbgbcr_el1); in reset_vm_el01_regs()
89 uint64_t dbgbcr_el1[16]; /* Debug Breakpoint Control Registers */ member
115 hypctx->dbgbcr_el1[x] = \ in vmm_hyp_reg_store()392 hypctx->dbgbcr_el1[x]); \ in vmm_hyp_reg_restore()