# CONFIG_OPROFILE_EVENT_MULTIPLEX is not set
