hh_establish_ipi
static void hh_establish_ipi(int, int, void *);
ipiops.ppc_establish_ipi = hh_establish_ipi;