hwi_add_irq()

Synopsis:

void hwi_add_irq(unsigned vector);

Description:

Add an irq tag structure to the hwinfo section. The logical vector number for the interrupt will be set to vector.