> +static DECLARE_BITMAP(apicid_map, MAX_LOCAL_APIC) __initdata;> +static char apicid_list[MAX_LOCAL_APIC] __initdata;Is MAX_LOCAL_APIC really big enough to print them all in ASCII?It would be better to not use that large a buffer, but printin smaller pieces (I realize this would enlarge your patch,but then it would also save a lot of BSS)-Andi