blob: 9c10aabca567e07867be2613b4bcf9a50e6ce8c1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
/*
* COPYRIGHT (c) 1989-2015
* On-Line Applications Research Corporation (OAR).
*/
#include <stdlib.h>
#include <rtems/test.h>
#include <rtems/score/threadimpl.h>
/*
* This is the entry point automatically generated by GNAT.
*/
extern int gnat_main ( int argc, char **argv, char **envp );
static void *POSIX_Init(
void *argument
)
{
(void) gnat_main ( 0, 0, 0 );
exit( 0 );
}
/*
* Prototypes for various test support routines. Since these are bound to
* from Ada, there are no external .h files even though they must be public.
*/
void ada_test_begin(void);
void ada_test_end(void);
uint32_t milliseconds_per_tick(void);
uint32_t ticks_per_second(void);
uint32_t work_space_size(void);
uint32_t is_configured_multiprocessing(void);
uint32_t get_node(void);
rtems_id tcb_to_id(Thread_Control *tcb);
/*
* By putting this in brackets rather than quotes, we get the search
* path and can get this file from ".." in the mptests.
*/
#define CONFIGURE_INIT
#define CONFIGURE_GNAT_RTEMS
#define CONFIGURE_MEMORY_OVERHEAD (256)
#define CONFIGURE_INITIAL_EXTENSIONS RTEMS_TEST_INITIAL_EXTENSION
#include <config.h>
const char rtems_test_name[] = ADA_TEST_NAME;
void ada_test_begin(void)
{
rtems_test_begin(rtems_test_name, RTEMS_TEST_STATE_PASS);
}
void ada_test_end(void)
{
rtems_test_end(rtems_test_name);
}
rtems_id tcb_to_id(
Thread_Control *tcb
)
{
return tcb->Object.id; /* Only for sp04 */
}
uint32_t milliseconds_per_tick(void)
{
return CONFIGURE_MICROSECONDS_PER_TICK / 1000;
}
uint32_t ticks_per_second(void)
{
return rtems_clock_get_ticks_per_second();
}
uint32_t work_space_size(void)
{
return CONFIGURE_EXECUTIVE_RAM_SIZE;
}
uint32_t is_configured_multiprocessing(void)
{
#if defined(RTEMS_MULTIPROCESSING)
return 1;
#else
return 0;
#endif
}
uint32_t get_node(void)
{
/* XXX HACK -- use public API */
return _Objects_Local_node;
}
|
