ipif_format
static int ipif_format(uintptr_t, const void *, void *);
(void) ipif_format((uintptr_t)addr, &ipif, id);
return (ipif_format(addr, &ipif, &id));