# CONFIG_DEBUG_PI_LIST is not set