415c415
< void post_interrupt(int int_num, int index);
---
> void postInterrupt(int int_num, int index);