Function aarch64_arch_helpers::sysreg::read_cntpct_el0

pub fn read_cntpct_el0() -> u64

Read value from register cntpct_el0

    Counter-timer Physical Count register