Lines Matching refs:uint32_t
70 uint32_t hpetAreap = 0;
82 uint32_t rcbaAreap = 0;
84 static int (*hpet_req)(uint32_t apicid, void *arg, hpetRequest_t *hpet) = NULL;
94 hpet_register_callback(int (*hpet_reqst)(uint32_t apicid,
110 hpet_request(uint32_t cpu)
215 xmod = (uint32_t *)(rcbaArea + 0x3404); /* Point to the HPTC */
216 uint32_t hptc = *xmod; /* Get HPET config */
236 hpetFemto = (uint32_t)(((hpetReg_t *)hpetArea)->GCAP_ID >> 32);
258 (uint32_t)(hpetFreq / Mega), (uint32_t)(hpetFreq % Mega),
259 (uint32_t)(hpetCvtt2n >> 32), (uint32_t)hpetCvtt2n,
260 (uint32_t)(hpetCvtn2t >> 32), (uint32_t)hpetCvtn2t);
273 (uint32_t)(tsc2hpet >> 32), (uint32_t)tsc2hpet);
278 (uint32_t)(hpet2tsc >> 32), (uint32_t)hpet2tsc);
283 (uint32_t)(bus2hpet >> 32), (uint32_t)bus2hpet);
288 (uint32_t)(hpet2bus >> 32), (uint32_t)hpet2bus);
323 ml_hpet_cfg(uint32_t cpu, uint32_t hpetVect)
432 uint32_t *hptcp = (uint32_t *)(rcbaArea + 0x3404);
433 uint32_t hptc = *hptcp;
462 volatile uint32_t *regp = (uint32_t *) &hpetp->MAIN_CNT;
463 uint32_t high;
464 uint32_t low;