Searched refs:tpidr_el1 (Results 1 – 8 of 8) sorted by relevance
| /freebsd/sys/arm64/vmm/ |
| H A D | vmm_hyp.c | 230 hypctx->tpidr_el1 = READ_SPECIALREG(tpidr_el1); in vmm_hyp_reg_store()
291 WRITE_SPECIALREG(tpidr_el1, hypctx->tpidr_el1); in vmm_hyp_reg_restore()
|
| H A D | vmm_reset.c | 86 set_arch_unknown(el2ctx->tpidr_el1); in reset_vm_el01_regs()
|
| H A D | arm64.h | 55 uint64_t tpidr_el1; /* EL1 Software ID Register */ member
|
| /freebsd/sys/arm64/arm64/ |
| H A D | exception.S | 74 mrs x18, tpidr_el1
167 mrs x18, tpidr_el1
|
| H A D | trap.c | 609 get_pcpu(), READ_SPECIALREG(tpidr_el1))); in do_el0_sync()
|
| H A D | machdep.c | 1150 PRINT_REG(tpidr_el1); in DB_SHOW_COMMAND()
|
| H A D | locore.S | 297 msr tpidr_el1, x18
|
| /freebsd/contrib/llvm-project/clang/include/clang/Driver/ |
| H A D | Options.td | 4628 … Values<"soft,cp15,tpidrurw,tpidruro,tpidrprw,el0,el1,el2,el3,tpidr_el0,tpidr_el1,tpidr_el2,tpidr_…
4631 …"For AArch64: 'tpidr_el0', 'tpidr_el1', 'tpidr_el2', 'tpidr_el3' or 'tpidrro_el0' use the five sys…
|