# CONFIG_PROFILING is not set
# CONFIG_OPROFILE is not set