get_cntxct
uint64_t (*get_cntxct)(bool);
return (arm_tmr_sc->get_cntxct(arm_tmr_sc->physical_sys));
sc->get_cntxct = &get_cntxct;
sc->get_cntxct = &get_cntxctss;
sc->get_cntxct = &get_cntxct_a64_unstable;
first = sc->get_cntxct(sc->physical_sys);
while ((sc->get_cntxct(sc->physical_sys) - first) < counts) {