count64
struct count64 timer0count;
struct count64 timer0_at_last_clockintr;
void gettimer0count(struct count64 *);
void gettimer0count(struct count64 *pcount)
uint64_t count64 = systbl64->st_entries;
aprint_debug("efi: %" PRIu64 " cfgtbl entries:\n", count64);
for (; count64; count64--, ct64++) {
uint64_t count64 = systbl64->st_entries;
for (; count64; count64--, ct64++)