11 unsigned int map_count)
13 for (
unsigned int i = 0; i < map_count; i++)
20 pin_irq_map[i].apic_gsi);
24 unsigned int map_count,
27 for (
unsigned int i = 0; i < map_count; i++) {
37 pirq_map->
gsi[pirq_index]);
47 unsigned int map_count,
70 unsigned int map_count,
unsigned int slot,
73 for (
size_t i = 0; i < map_count; i++) {
74 if (pin_irq_map[i].slot == slot && pin_irq_map[i].pin == pin)
static void gen_pic_route(const struct slot_pin_irq_map *pin_irq_map, unsigned int map_count, const struct pic_pirq_map *pirq_map)
bool is_slot_pin_assigned(const struct slot_pin_irq_map *pin_irq_map, unsigned int map_count, unsigned int slot, enum pci_pin pin)
void intel_write_pci0_PRT(const struct slot_pin_irq_map *pin_irq_map, unsigned int map_count, const struct pic_pirq_map *pirq_map)
static void gen_apic_route(const struct slot_pin_irq_map *pin_irq_map, unsigned int map_count)
static size_t pirq_idx(enum pirq pirq)
void acpigen_write_if(void)
void acpigen_emit_namestring(const char *namepath)
void acpigen_pop_len(void)
void acpigen_write_scope(const char *name)
char * acpigen_write_package(int nr_el)
void acpigen_emit_byte(unsigned char b)
void acpigen_write_method(const char *name, int nargs)
void acpigen_write_else(void)
void acpigen_write_PRT_GSI_entry(unsigned int pci_dev, unsigned int acpi_pin, unsigned int gsi)
void acpigen_write_PRT_source_entry(unsigned int pci_dev, unsigned int acpi_pin, const char *source_path, unsigned int index)
char source_path[PIRQ_COUNT][DEVICE_PATH_MAX]
unsigned int gsi[PIRQ_COUNT]