# CONFIG_IPCS is not set
# CONFIG_IPCRM is not set