Home
last modified time | relevance | path

Searched refs:TCR_EL1 (Results 1 – 7 of 7) sorted by relevance

/xen/xen/arch/arm/arm64/
A Dvsysreg.c52 TVM_REG(TCR_EL1) in TVM_REG()
112 GENERATE_CASE(TCR_EL1)
/xen/xen/arch/arm/
A Dvm_event.c30 req->data.regs.arm.ttbcr = READ_SYSREG(TCR_EL1); in vm_event_fill_regs()
A Dguest_walk.c40 register_t ttbcr = READ_SYSREG(TCR_EL1); in guest_walk_sd()
371 register_t tcr = READ_SYSREG(TCR_EL1); in guest_walk_ld()
593 register_t tcr = READ_SYSREG(TCR_EL1); in guest_walk_tables()
A Ddomain.c133 p->arch.ttbcr = READ_SYSREG(TCR_EL1); in ctxt_switch_from()
214 WRITE_SYSREG(n->arch.ttbcr, TCR_EL1); in ctxt_switch_to()
A Dvcpreg.c133 TVM_REG32_COMBINED(TTBCR, TTBCR2, TCR_EL1) in TVM_REG32()
A Dtraps.c460 if ( READ_SYSREG(TCR_EL1) & TTBCR_EAE ) in inject_abt32_exception()
937 ctxt.tcr_el1 = READ_SYSREG(TCR_EL1); in show_registers()
1744 register_t ttbcr = READ_SYSREG(TCR_EL1); in dump_guest_s1_walk()
/xen/xen/include/asm-arm/
A Dcpregs.h334 #define TCR_EL1 TTBCR macro

Completed in 13 milliseconds