Searched refs:dbgbvr_el1 (Results 1 – 3 of 3) sorted by relevance
94 set_arch_unknown(el2ctx->dbgbvr_el1); in reset_vm_el01_regs()
90 uint64_t dbgbvr_el1[16]; /* Debug Breakpoint Value Registers */ member
117 hypctx->dbgbvr_el1[x] = \ in vmm_hyp_reg_store()379 hypctx->dbgbvr_el1[x]) in vmm_hyp_reg_restore()