1/* We preprocess this file to extract the sizes of objects for use in camkes/capdl */
2#define __ASSEMBLER__
3#include <autoconf.h>
4#include <sel4/constants.h>
5#include <sel4/sel4_arch/constants.h>
6#include <sel4/mode/types.h>
7seL4_TCBObject: seL4_TCBBits
8seL4_EndpointObject: seL4_EndpointBits
9seL4_NotificationObject: seL4_NotificationBits
10seL4_SmallPageObject: seL4_PageBits
11seL4_LargePageObject: seL4_LargePageBits
12seL4_ASID_Pool: seL4_ASIDPoolBits
13seL4_ASID_Table: seL4_ASIDPoolIndexBits
14seL4_Slot: seL4_SlotBits
15seL4_Value_MinUntypedBits: seL4_MinUntypedBits
16seL4_Value_MaxUntypedBits: seL4_MaxUntypedBits
17seL4_Value_BadgeBits: seL4_BadgeBits
18#ifdef seL4_ReplyBits
19seL4_RTReplyObject: seL4_ReplyBits
20#endif
21#ifdef seL4_VCPUBits
22seL4_VCPU: seL4_VCPUBits
23#endif
24#ifdef seL4_PageTableBits
25seL4_PageTableObject: seL4_PageTableBits
26#endif
27#ifdef seL4_PageDirBits
28seL4_PageDirectoryObject: seL4_PageDirBits
29#endif
30#ifdef seL4_SectionBits
31seL4_ARM_SectionObject: seL4_SectionBits
32#endif
33#ifdef seL4_SuperSectionBits
34seL4_ARM_SuperSectionObject: seL4_SuperSectionBits
35#endif
36#ifdef seL4_HugePageBits
37seL4_HugePageObject: seL4_HugePageBits
38#endif
39#ifdef seL4_PGDBits
40seL4_AARCH64_PGD: seL4_PGDBits
41#endif
42#ifdef seL4_PUDBits
43seL4_AARCH64_PUD: seL4_PUDBits
44#endif
45#ifdef seL4_IOPageTableBits
46seL4_IOPageTableObject: seL4_IOPageTableBits
47#endif
48#ifdef seL4_PDPTBits
49seL4_X64_PDPT: seL4_PDPTBits
50#endif
51#ifdef seL4_PML4Bits
52seL4_X64_PML4: seL4_PML4Bits
53#endif
54#ifdef seL4_MinSchedContextBits
55seL4_SchedContextObject: seL4_MinSchedContextBits
56#endif
57
58/* These need not, and should not, be allocated */
59seL4_IOPorts: 0
60seL4_IODevice: 0
61seL4_ARMIODevice: 0
62seL4_IRQ: 0
63seL4_IOAPICIRQ: 0
64seL4_MSIIRQ: 0
65seL4_ARMIRQ: 0
66seL4_ARMSID: 0
67seL4_ARMCB: 0
68