Symbol: apix_alloc_ipi