ifc_buf
p->ifc_buf = (void *)NETBSD32PTR64(s32p->ifc_buf);
NETBSD32PTR32(s32p->ifc_buf, p->ifc_buf);
ifc.ifc_buf = NULL;
ifc.ifc_buf = (caddr_t) ibuf;