# CONFIG_RT_MUTEX_TESTER is not set
