/*
 * Copyright (c) 2016 Intel Corporation
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#ifndef __TEST_SYSTHREADS_H__
#define __TEST_SYSTHREADS_H__

void test_systhreads_setup(void);
void test_systhreads_main(void);
void test_systhreads_idle(void);

#endif /* __TEST_SYSTHREADS_H__ */