/* Get low 32 bits of Redirection Table entry. 
This routine reads the low-order 32 bits of a Redirection Table entry. */
static __pinned_func uint32_t ioApicRedGetLo(unsigned int irq)
/* Get low 32 bits of Redirection Table entry. 
This routine reads the low-order 32 bits of a Redirection Table entry. */
static __pinned_func uint32_t ioApicRedGetLo(unsigned int irq)
{
	int32_t offset = IOAPIC_REDTBL + (irq << 1);
	return __IoApicGet(offset);
}