Lines Matching refs:UINT32_MAX
1303 (void) AcpiWalkNamespace(ACPI_TYPE_DEVICE, sbobj, UINT32_MAX,
1369 (void) AcpiWalkNamespace(ACPI_TYPE_DEVICE, sbobj, UINT32_MAX,
1563 if (apicid != UINT32_MAX) {
1626 (void) acpica_add_processor_to_map(acpi_id, obj, UINT32_MAX);
2099 item->apic_id = UINT32_MAX;
2194 ASSERT(apicid != UINT32_MAX);
2195 if (apicid == UINT32_MAX) {
2248 *rp = UINT32_MAX;
2252 cpu_map[i]->apic_id != UINT32_MAX) {
2274 *rp = UINT32_MAX;