system.tmplt 1.9 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
@@-- The following tags are available in this template:
@@--
@@-- @_Nodes_@               : Code generated for the nodes
@@-- @_Node_Names_@          : Vector Tag of node names
@@-- @_Node_CPU_@            :  |_ Corresponding CPU name (eg x86_linux)
@@-- @_Node_CPU_Classifier_@ :  |_ CPU Classifier (ocarina...::x86_linux)
@@-- @_Partition_Names_@     : Vector Tag of partition names
@@-- @_Partition_Node_@      :  |_ Corresponding node name
@@-- @_Partition_CPU_@       :  |_ Corresponding CPU name
@@-- @_Threads_@             : Code generated for the threads
@@-- @_Thread_Names_@        : List of all threads in the complete system
@@-- @_Target_Packages_@     : List of all target package names in the complete system
@@-- And all the system configuration obtained from the command line:
@@-- Interface_View, Deployment_View, Data_View, Binary_Path, Check_Data_View,
@@-- Output_Dir, Skeletons, Glue, Use_POHIC, Timer_Resolution, Debug_Flag,
@@-- No_Stdlib_Flag, Timer_Resolution, Other_Files (list of aadl files)
#ifndef SYSTEM_SPEC_H
#define SYSTEM_SPEC_H

enum RemoteInterface {
    INTERFACE_INVALID_ID,
22
23
24
@@TABLE@@
    INTERFACE_@_UPPER:Connect_Port_Name_@,
@@END_TABLE@@
25
    INTERFACE_MAX_ID,
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
};

enum SystemPartition {
    PARTITION_INVALID_ID,
@@TABLE@@
    @_UPPER:Partition_Names_@,
@@END_TABLE@@
};

enum SystemBus {
    BUS_INVALID_ID,
@@TABLE@@
    BUS_@_UPPER:Bus_Names_@,
@@END_TABLE@@
};

#define SYSTEM_BUSES_NUMBER (@_Bus_Names'Length_@ + 1)

extern enum SystemBus port_to_bus_map[];
extern enum RemoteInterface bus_to_port_map[];

enum SystemDevice
{
@@TABLE@@
    DEVICE_@_UPPER:Device_Node_Name_@_@_UPPER:Device_Names_@,
@@END_TABLE@@
52
    DEVICE_INVALID_ID,
53
54
};

55
#define SYSTEM_DEVICE_NUMBER (@_Device_Names'Length_@ + 1)
56
57

extern enum SystemBus device_to_bus_map[SYSTEM_DEVICE_NUMBER];
Rafal Babski's avatar
Rafal Babski committed
58
extern const void* const device_configurations[SYSTEM_DEVICE_NUMBER];
59

60
#endif