Searched refs:gsi_base (Results 1 – 3 of 3) sorted by relevance
149 uint32_t gsi_base; in acpi_dsdt_add_plic_aplic() local154 gsi_base = VIRT_IRQCHIP_NUM_SOURCES * socket; in acpi_dsdt_add_plic_aplic()158 aml_append(dev, aml_name_decl("_GSB", aml_int(gsi_base))); in acpi_dsdt_add_plic_aplic()526 uint32_t gsi_base; in build_madt() local577 gsi_base = VIRT_IRQCHIP_NUM_SOURCES * socket; in build_madt()595 build_append_int_noprefix(table_data, gsi_base, 4); in build_madt()607 gsi_base = VIRT_IRQCHIP_NUM_SOURCES * socket; in build_madt()623 build_append_int_noprefix(table_data, gsi_base, 4); in build_madt()
263 u32 gsi_base; /* Global system interrupt base */ member364 u32 addr, u32 gsi_base);
211 u32 addr, u32 gsi_base) in acpi_create_madt_ioapic() argument216 ioapic->gsi_base = gsi_base; in acpi_create_madt_ioapic()