apic_mode
if (apic_mode == LOCAL_X2APIC) {
if (apic_mode == LOCAL_APIC)
apic_mode = LOCAL_X2APIC;
apic_mode = LOCAL_X2APIC;
if (apic_mode == LOCAL_APIC) {
apic_intrmap_init(apic_mode);
if (apic_mode == LOCAL_APIC)
if (apic_mode == LOCAL_X2APIC && apic_detect_x2apic() &&
if (apic_mode != LOCAL_X2APIC)
if (apic_mode != LOCAL_X2APIC)
if (apic_mode == LOCAL_APIC)
else if (apic_mode == LOCAL_X2APIC)
ASSERT(apic_mode == LOCAL_X2APIC);
ASSERT(apic_mode == LOCAL_X2APIC);
static int immu_intrmap_init(int apic_mode);
immu_intrmap_init(int apic_mode)
intrmap_apic_mode = apic_mode;
if (apic_mode == LOCAL_APIC)
if (apic_mode == LOCAL_APIC) {
if (apic_mode != LOCAL_X2APIC)
ASSERT(apic_mode == LOCAL_APIC);
apic_intrmap_init(apic_mode);
if (apic_mode == LOCAL_APIC)
apic_intrmap_init(int apic_mode)
apic_intrmap_init(apic_mode) == DDI_SUCCESS) {
if (apic_mode == LOCAL_APIC) {
if (apic_mode == LOCAL_APIC &&
if (apic_mode == LOCAL_X2APIC) {
if (apic_mode == LOCAL_APIC)
if (apic_mode == LOCAL_APIC)
} else if (localid >= 255 && apic_mode == LOCAL_APIC) {
apic_mode_t apic_mode = LOCAL_APIC; /* Default mode is Local APIC */
extern apic_mode_t apic_mode;
extern void apic_intrmap_init(int apic_mode);