Symbol: TIMER_DISABLED
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);