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