MACH_PORT_NULL   3459 gc/os_dep.c        buf.msg.head.msgh_local_port = MACH_PORT_NULL;
MACH_PORT_NULL   3469 gc/os_dep.c            MACH_PORT_NULL);
MACH_PORT_NULL   3485 gc/os_dep.c        msg.head.msgh_local_port = MACH_PORT_NULL;
MACH_PORT_NULL   3493 gc/os_dep.c            MACH_PORT_NULL,
MACH_PORT_NULL   3495 gc/os_dep.c            MACH_PORT_NULL);
MACH_PORT_NULL   3540 gc/os_dep.c                MACH_PORT_NULL);
MACH_PORT_NULL   3586 gc/os_dep.c                        MACH_PORT_NULL,
MACH_PORT_NULL   3588 gc/os_dep.c                        MACH_PORT_NULL);