Searched refs:dbgwvr_el1 (Results 1 – 3 of 3) sorted by relevance
96 set_arch_unknown(el2ctx->dbgwvr_el1); in reset_vm_el01_regs()
92 uint64_t dbgwvr_el1[16]; /* Debug Watchpoint Value Registers */ member
144 hypctx->dbgwvr_el1[x] = \ in vmm_hyp_reg_store()421 hypctx->dbgwvr_el1[x]) in vmm_hyp_reg_restore()