apix_do_pending_hardint
ret = apix_do_pending_hardint(cpu, rp);
(void) apix_do_pending_hardint(cpu, rp);