#include <rtems/cpuuse.h>
#include <rtems/score/threadimpl.h>
#include "tx-support.h"
#include <rtems/test.h>