Lines Matching refs:uint32_t
38 get_cpuid(uint32_t arg,
39 uint32_t* eaxp,
40 uint32_t* ebxp,
41 uint32_t* ecxp,
42 uint32_t* edxp) {
117 get_cpuid(uint32_t arg,
118 uint32_t* eaxp,
119 uint32_t* ebxp,
120 uint32_t* ecxp,
121 uint32_t* edxp) {
141 uint32_t value_of_eax = 0;
142 uint32_t value_of_ebx = 0;
143 uint32_t value_of_ecx = 0;
144 uint32_t value_of_edx = 0;
230 uint32_t vendor_id[3] = { 0U, 0U, 0U };
231 uint32_t value_of_eax = 0U;
232 uint32_t value_of_edx = 0U;
233 uint32_t dummy = 0U;
298 uint32_t value_of_ebx = 0U;
299 uint32_t dummy = 0U;