/* Set low 32 bits of Redirection Table entry. 
This routine writes the low-order 32 bits of a Redirection Table entry. */
static __pinned_func void ioApicRedSetLo(unsigned int irq, uint32_t lower32)
/* Set low 32 bits of Redirection Table entry. 
This routine writes the low-order 32 bits of a Redirection Table entry. */
static __pinned_func void ioApicRedSetLo(unsigned int irq, uint32_t lower32)
{
	int32_t offset = IOAPIC_REDTBL + (irq << 1);
	__IoApicSet(offset, lower32);
}