Lines Matching refs:uint32_t
1165 get_cpuid(uint32_t arg,
1166 uint32_t* eaxp,
1167 uint32_t* ebxp,
1168 uint32_t* ecxp,
1169 uint32_t* edxp) {
1217 get_cpuid(uint32_t arg,
1218 uint32_t* eaxp,
1219 uint32_t* ebxp,
1220 uint32_t* ecxp,
1221 uint32_t* edxp) {
1241 uint32_t value_of_eax = 0;
1242 uint32_t value_of_ebx = 0;
1243 uint32_t value_of_ecx = 0;
1244 uint32_t value_of_edx = 0;
1305 uint32_t vendor_id[3] = { 0U, 0U, 0U };
1306 uint32_t value_of_eax = 0U;
1307 uint32_t value_of_edx = 0U;
1308 uint32_t dummy = 0U;
1385 uint32_t value_of_ebx = 0U;
1386 uint32_t dummy = 0U;