ioapic_cfg         76 arch/x86/kernel/jailhouse.c 	struct ioapic_domain_cfg ioapic_cfg = {
ioapic_cfg         99 arch/x86/kernel/jailhouse.c 		mp_register_ioapic(0, 0xfec00000, gsi_top, &ioapic_cfg);