kern/apic.c
static u32 dune_highest_apic_id(bool *error)
{
	int ret = -1;
	int cpu;

	if (error) *error = false;
	for_each_possible_cpu(cpu) {
		int apic_id = per_cpu(x86_cpu_to_apicid, cpu);
		if (apic_id > ret) ret = apic_id;
	}
	if (ret == -1) {
		if (error) *error = true;
		return 0;
	}
	return ret;
}
/* dune_highest_apic_id
 * Returns the highest APIC ID in the system
 */
dune_highest_apic_id
Returns the highest APIC ID in the system
dune_highest_apic_id Returns the highest APIC ID in the system
static u32 dune_highest_apic_id(bool *error)
{
	int ret = -1;
	int cpu;
	if (error) *error = false;
	for_each_possible_cpu(cpu) {
		int apic_id = per_cpu(x86_cpu_to_apicid, cpu);
		if (apic_id > ret) ret = apic_id;
	}
	if (ret == -1) {
		if (error) *error = true;
		return 0;
	}
	return ret;
}
static u32 dune_highest_apic_id ( bool * error ) { int ret = -1 ; int cpu ; if ( error ) * error = false ; for_each_possible_cpu ( cpu ) { int apic_id = per_cpu ( x86_cpu_to_apicid , cpu ) ; if ( apic_id > ret ) ret = apic_id ; } if ( ret == -1 ) { if ( error ) * error = true ; return 0 ; } return ret ; }
dune_highest_apic_id
 Returns the highest APIC ID in the system
dune_highest_apic_id Returns the highest APIC ID in the system