Lines Matching refs:far
495 register_t far = READ_SYSREG(FAR_EL1) & 0xffffffffUL; in inject_abt32_exception()
496 far |= addr << 32; in inject_abt32_exception()
497 WRITE_SYSREG(far, FAR_EL1); in inject_abt32_exception()
509 register_t far = READ_SYSREG(FAR_EL1) & ~0xffffffffUL; in inject_abt32_exception()
510 far |= addr; in inject_abt32_exception()
511 WRITE_SYSREG(far, FAR_EL1); in inject_abt32_exception()
751 uint64_t far; member
853 (uint32_t)(ctxt->far >> 32), in show_registers_32()
855 (uint32_t)(ctxt->far & 0xffffffff), in show_registers_32()
916 printk(" FAR_EL1: %016"PRIx64"\n", ctxt->far); in show_registers_64()
996 ctxt.far = READ_SYSREG(FAR_EL1); in show_registers()
1019 ctxt.far = v->arch.far; in vcpu_show_registers()