Searched refs:redtbl_lo (Results 1 – 1 of 1) sorted by relevance
74 const uint32_t redtbl_lo = SEDI_IOAPIC_IOREDTBL + 2 * irq; in update_ioapic_redtbl_raw_lo() local76 write_ioapic_reg(redtbl_lo, val); in update_ioapic_redtbl_raw_lo()81 const uint32_t redtbl_lo = SEDI_IOAPIC_IOREDTBL + 2 * irq; in sedi_core_irq_enable() local82 unsigned int val = read_ioapic_reg(redtbl_lo); in sedi_core_irq_enable()90 const uint32_t redtbl_lo = SEDI_IOAPIC_IOREDTBL + 2 * irq; in sedi_core_irq_disable() local91 unsigned int val = read_ioapic_reg(redtbl_lo); in sedi_core_irq_disable()