IPC_ZONE_USAGE
IPC_ZONE_USAGE(perm, service) += 1;
ASSERT(IPC_ZONE_USAGE(perm, service) > 0);
IPC_ZONE_USAGE(perm, service) -= 1;
(IPC_ZONE_USAGE(perm, service) == 0)));