399a400
> void postFiq(uint32_t cpu, Tick when);
404a406
> void postDelayedFiq(uint32_t cpu);
406a409
> EventFunctionWrapper *postFiqEvent[CPU_MAX];