453
478
#define DEFAULT_TRAMPOLINE_PHYS_HIGH 0x469
460
481
extern int default_acpi_madt_oem_check(char *, char *);
462
483
extern void apic_send_IPI_self(int vector);
465
485
DECLARE_PER_CPU(int, x2apic_extra_bits);
467
487
extern int default_cpu_present_to_apicid(int mps_cpu);