/* We additionally set the priority in the interrupt controller at runtime. */
void posix_isr_declare(unsigned int irq_p, int flags, void isr_p(const void *), const void *isr_param_p)
/* We additionally set the priority in the interrupt controller at runtime. */
void posix_isr_declare(unsigned int irq_p, int flags, void isr_p(const void *), const void *isr_param_p)
{
	irq_vector_table[irq_p].irq   = irq_p;
	irq_vector_table[irq_p].func  = isr_p;
	irq_vector_table[irq_p].param = isr_param_p;
	irq_vector_table[irq_p].flags = flags;
}