Lines Matching refs:uint32_t
41 uint32_t lo, hi;
49 static INLINE uint64_t rdtscp(uint32_t *procno)
51 uint32_t lo, hi, proc;
85 static INLINE void cpuid(uint32_t info, uint32_t *eax, uint32_t *ebx,
86 uint32_t *ecx, uint32_t *edx)
88 uint32_t a, b, c, d;
104 static INLINE void wrmsr(uint32_t addr, uint64_t val)
106 uint32_t eax = val & 0xFFFFFFFF;
107 uint32_t edx = val >> 32;
114 static INLINE uint64_t rdmsr(uint32_t addr)
396 uint32_t lo = (uint32_t)mask;
397 uint32_t hi = (uint32_t)(mask >> 32);
407 uint32_t lo = (uint32_t)mask;
408 uint32_t hi = (uint32_t)(mask >> 32);
418 uint32_t lo = (uint32_t)mask;
419 uint32_t hi = (uint32_t)(mask >> 32);
445 static INLINE void outl(uint16_t port, uint32_t data)
474 static INLINE uint32_t inl(uint16_t port)
476 uint32_t data;