Lines Matching refs:uint64_t
71 uint64_t hpetFemto = 0;
72 uint64_t hpetFreq = 0;
73 uint64_t hpetCvt = 0; /* (TAKE OUT LATER) */
74 uint64_t hpetCvtt2n = 0;
75 uint64_t hpetCvtn2t = 0;
76 uint64_t tsc2hpet = 0;
77 uint64_t hpet2tsc = 0;
78 uint64_t bus2hpet = 0;
79 uint64_t hpet2bus = 0;
253 hpetCvtt2n = (uint64_t)hpetFemto << 32;
267 hpetCvt = (uint64_t)hpetFemto << 20;
325 uint64_t *hpetVaddr;
349 hpetVaddr = (uint64_t *)(((uintptr_t)&(((hpetReg_t *)hpetArea)->TIM1_CONF)) + (cpu << 5));
458 uint64_t
471 return (((uint64_t) high) << 32) | low;