Function aarch64_arch_helpers::sysreg::read_cntps_tval_el1

pub fn read_cntps_tval_el1() -> u64

Read value from register cntps_tval_el1

    Counter-timer Physical Secure Timer TimerValue register