void hwi_add_irq(unsigned vector);
Add an irq tag structure to the hwinfo section. The logical vector number for the interrupt will be set to vector.