Searched refs:far_el1 (Results 1 – 7 of 7) sorted by relevance
127 gdb_tx_varhex((uintmax_t)READ_SPECIALREG(far_el1)); in gdb_cpu_stop_reason()
69 mrs x13, far_el1
1108 PRINT_REG(far_el1); in DB_SHOW_COMMAND()
66 set_arch_unknown(el2ctx->far_el1); in reset_vm_el01_regs()
66 uint64_t far_el1; /* Fault Address Register */ member
247 hypctx->far_el1 = READ_SPECIALREG(EL1_REG(FAR)); in vmm_hyp_reg_store()293 WRITE_SPECIALREG(EL1_REG(FAR), hypctx->far_el1); in vmm_hyp_reg_restore()
1305 hypctx->far_el1 = far; in vmmops_exception()