# CONFIG_DEVICE_PRIVATE is not set
