headers/private/kernel/arch/arm64/arch_thread.h

28

WRITE_SPECIALREG(tpidr_el1, t);

src/system/boot/platform/efi/arch/arm64/aarch64.h

140

WRITE_SPECIALREG(SCTLR_EL1, sctlr);

src/system/boot/platform/efi/arch/arm64/aarch64.h

143

WRITE_SPECIALREG(SCTLR_EL2, sctlr);

src/system/boot/platform/efi/arch/arm64/aarch64.h

146

WRITE_SPECIALREG(SCTLR_EL3, sctlr);

src/system/boot/platform/efi/arch/arm64/arch_mmu.cpp

145

WRITE_SPECIALREG(TCR_EL1, tcr);

src/system/boot/platform/efi/arch/arm64/arch_mmu.cpp

325

WRITE_SPECIALREG(TTBR1_EL1, page);

src/system/boot/platform/efi/arch/arm64/arch_start.cpp

58

WRITE_SPECIALREG(HCR_EL2, hcr | HCR_TGE);

src/system/boot/platform/efi/arch/arm64/arch_start.cpp

67

WRITE_SPECIALREG(CNTKCTL_EL1, 0b11);

src/system/kernel/arch/arm64/VMSAv8TranslationMap.cpp

179

WRITE_SPECIALREG(TTBR0_EL1, ((uint64_t)to->fASID << 48) | ttbr);

src/system/kernel/arch/arm64/VMSAv8TranslationMap.cpp

189

WRITE_SPECIALREG(TTBR0_EL1, (allocatedAsid << 48) | ttbr);

src/system/kernel/arch/arm64/VMSAv8TranslationMap.cpp

200

WRITE_SPECIALREG(TTBR0_EL1, (i << 48) | ttbr);

src/system/kernel/arch/arm64/arch_cpu.cpp

21

WRITE_SPECIALREG(VBAR_EL1, _exception_vectors);

src/system/kernel/arch/arm64/arch_cpu.cpp

45

WRITE_SPECIALREG(TCR_EL1, tcr);

src/system/kernel/arch/arm64/arch_timer.cpp

33

WRITE_SPECIALREG(CNTV_TVAL_EL0, timeout * sTimerTicksUS);

src/system/kernel/arch/arm64/arch_timer.cpp

34

WRITE_SPECIALREG(CNTV_CTL_EL0, TIMER_ENABLE);

src/system/kernel/arch/arm64/arch_timer.cpp

41

WRITE_SPECIALREG(CNTV_CTL_EL0, TIMER_DISABLED);

src/system/kernel/arch/arm64/arch_timer.cpp

48

WRITE_SPECIALREG(CNTV_CTL_EL0, TIMER_DISABLED);

src/system/kernel/arch/arm64/arch_timer.cpp

59

WRITE_SPECIALREG(CNTV_CTL_EL0, TIMER_DISABLED);

src/system/kernel/arch/arm64/arch_vm_translation_map.cpp

28

WRITE_SPECIALREG(TTBR0_EL1, sEmptyTable);