apix_do_pending_hilevel
(void) apix_do_pending_hilevel(cpu, rp);
if (apix_do_pending_hilevel(cpu, rp) < 0)