apix_dispatch_pending_autovect
apix_dispatch_pending_autovect(ipl);
apix_dispatch_pending_autovect((int)cpu->cpu_thread->t_pil);