portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Do not generate data symbols for enums

Browse source 
With clang 11 these become bss symbols rather than commons, resulting in
multiple definition errors at link time.  gcc 10 is likely to expose the
same issue.

Signed-off-by: Stefan O'Rear <sorear@fastmail.com>
This commit is contained in:
Stefan O'Rear 2020-08-01 18:58:49 -04:00 committed by G. Branden Robinson
parent 79fe0d915c
commit 5a341610c4
8 changed files with 40 additions and 40 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
libsel4/include/sel4/constants.h
View file

@ -33,7 +33,7 @@ typedef enum {
} seL4_BreakpointAccess;
/* Format of a debug-exception message. */
enum {
typedef enum {
seL4_DebugException_FaultIP,
seL4_DebugException_ExceptionReason,
seL4_DebugException_TriggerAddress,

2
libsel4/include/sel4/shared_types.h
View file

@ -18,7 +18,7 @@ typedef struct seL4_IPCBuffer_ {
seL4_Word receiveDepth;
} seL4_IPCBuffer __attribute__((__aligned__(sizeof(struct seL4_IPCBuffer_))));
enum {
typedef enum {
seL4_CapFault_IP,
seL4_CapFault_Addr,
seL4_CapFault_InRecvPhase,

18
libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/constants.h
View file

@ -18,7 +18,7 @@ enum {
#endif /* CONFIG_KERNEL_GLOBALS_FRAME */
/* format of an unknown syscall message */
enum {
typedef enum {
seL4_UnknownSyscall_R0,
seL4_UnknownSyscall_R1,
seL4_UnknownSyscall_R2,
@ -38,7 +38,7 @@ enum {
} seL4_UnknownSyscall_Msg;
/* format of a user exception message */
enum {
typedef enum {
seL4_UserException_FaultIP,
seL4_UserException_SP,
seL4_UserException_CPSR,
@ -50,7 +50,7 @@ enum {
} seL4_UserException_Msg;
/* format of a vm fault message */
enum {
typedef enum {
seL4_VMFault_IP,
seL4_VMFault_Addr,
seL4_VMFault_PrefetchFault,
@ -60,24 +60,24 @@ enum {
} seL4_VMFault_Msg;
#ifdef CONFIG_ARM_HYPERVISOR_SUPPORT
enum {
typedef enum {
seL4_VGICMaintenance_IDX,
seL4_VGICMaintenance_Length,
SEL4_FORCE_LONG_ENUM(seL4_VGICMaintenance_Msg),
} seL4_VGICMaintenance_Msg;
enum {
typedef enum {
seL4_VPPIEvent_IRQ,
SEL4_FORCE_LONG_ENUM(seL4_VPPIEvent_Msg),
} seL4_VPPIEvent_Msg;
enum {
typedef enum {
seL4_VCPUFault_HSR,
seL4_VCPUFault_Length,
SEL4_FORCE_LONG_ENUM(seL4_VCPUFault_Msg),
} seL4_VCPUFault_Msg;
enum {
typedef enum {
seL4_VCPUReg_SCTLR = 0,
seL4_VCPUReg_ACTLR,
seL4_VCPUReg_TTBCR,
@ -128,7 +128,7 @@ enum {
#endif /* CONFIG_ARM_HYPERVISOR_SUPPORT */
#ifdef CONFIG_KERNEL_MCS
enum {
typedef enum {
seL4_Timeout_Data,
/* consumed is 64 bits */
seL4_Timeout_Consumed_HighBits,
@ -137,7 +137,7 @@ enum {
SEL4_FORCE_LONG_ENUM(seL4_Timeout_Msg)
} seL4_TimeoutMsg;
enum {
typedef enum {
seL4_TimeoutReply_FaultIP,
seL4_TimeoutReply_SP,
seL4_TimeoutReply_CPSR,

18
libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/constants.h
View file

@ -12,7 +12,7 @@
#ifndef __ASSEMBLER__
/* format of an unknown syscall message */
enum {
typedef enum {
seL4_UnknownSyscall_X0,
seL4_UnknownSyscall_X1,
seL4_UnknownSyscall_X2,
@ -32,7 +32,7 @@ enum {
} seL4_UnknownSyscall_Msg;
/* format of a user exception message */
enum {
typedef enum {
seL4_UserException_FaultIP,
seL4_UserException_SP,
seL4_UserException_SPSR,
@ -44,7 +44,7 @@ enum {
} seL4_UserException_Msg;
/* format of a vm fault message */
enum {
typedef enum {
seL4_VMFault_IP,
seL4_VMFault_Addr,
seL4_VMFault_PrefetchFault,
@ -55,25 +55,25 @@ enum {
#ifdef CONFIG_ARM_HYPERVISOR_SUPPORT
enum {
typedef enum {
seL4_VGICMaintenance_IDX,
seL4_VGICMaintenance_Length,
SEL4_FORCE_LONG_ENUM(seL4_VGICMaintenance_Msg),
} seL4_VGICMaintenance_Msg;
enum {
typedef enum {
seL4_VPPIEvent_IRQ,
SEL4_FORCE_LONG_ENUM(seL4_VPPIEvent_Msg),
} seL4_VPPIEvent_Msg;
enum {
typedef enum {
seL4_VCPUFault_HSR,
seL4_VCPUFault_Length,
SEL4_FORCE_LONG_ENUM(seL4_VCPUFault_Msg),
} seL4_VCPUFault_Msg;
enum {
typedef enum {
/* VM control registers EL1 */
seL4_VCPUReg_SCTLR = 0,
seL4_VCPUReg_TTBR0,
@ -120,7 +120,7 @@ enum {
#endif /* CONFIG_ARM_HYPERVISOR_SUPPORT */
#ifdef CONFIG_KERNEL_MCS
enum {
typedef enum {
seL4_TimeoutReply_FaultIP,
seL4_TimeoutReply_SP,
seL4_TimeoutReply_SPSR_EL1,
@ -159,7 +159,7 @@ enum {
SEL4_FORCE_LONG_ENUM(seL4_TimeoutReply_Msg)
} seL4_TimeoutReply_Msg;
enum {
typedef enum {
seL4_Timeout_Data,
seL4_Timeout_Consumed,
seL4_Timeout_Length,

10
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/constants.h
View file

@ -72,7 +72,7 @@ SEL4_SIZE_SANITY(seL4_WordSizeBits, seL4_ASIDPoolIndexBits, seL4_ASIDPoolBits);
#ifndef __ASSEMBLER__
/* format of a vm fault message */
enum {
typedef enum {
seL4_VMFault_IP,
seL4_VMFault_Addr,
seL4_VMFault_PrefetchFault,
@ -81,7 +81,7 @@ enum {
SEL4_FORCE_LONG_ENUM(seL4_VMFault_Msg),
} seL4_VMFault_Msg;
enum {
typedef enum {
seL4_UnknownSyscall_EAX,
seL4_UnknownSyscall_EBX,
seL4_UnknownSyscall_ECX,
@ -97,7 +97,7 @@ enum {
SEL4_FORCE_LONG_ENUM(seL4_UnknownSyscall_Msg),
} seL4_UnknownSyscall_Msg;
enum {
typedef enum {
seL4_UserException_FaultIP,
seL4_UserException_SP,
seL4_UserException_FLAGS,
@ -108,7 +108,7 @@ enum {
} seL4_UserException_Msg;
#ifdef CONFIG_KERNEL_MCS
enum {
typedef enum {
seL4_Timeout_Data,
/* consumed is 64 bits */
seL4_Timeout_Consumed_HighBits,
@ -117,7 +117,7 @@ enum {
SEL4_FORCE_LONG_ENUM(seL4_Timeout_Msg),
} seL4_Timeout_Msg;
enum {
typedef enum {
seL4_TimeoutReply_FaultIP,
seL4_TimeoutReply_SP,
seL4_TimeoutReply_FLAGS,

10
libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/constants.h
View file

@ -44,7 +44,7 @@
#define seL4_ASIDPoolBits 12
#ifndef __ASSEMBLER__
enum {
typedef enum {
seL4_VMFault_IP,
seL4_VMFault_Addr,
seL4_VMFault_PrefetchFault,
@ -52,7 +52,7 @@ enum {
seL4_VMFault_Length,
} seL4_VMFault_Msg;
enum {
typedef enum {
seL4_UnknownSyscall_FaultIP,
seL4_UnknownSyscall_SP,
seL4_UnknownSyscall_RA,
@ -67,7 +67,7 @@ enum {
seL4_UnknownSyscall_Length,
} seL4_UnknownSyscall_Msg;
enum {
typedef enum {
seL4_UserException_FaultIP,
seL4_UserException_SP,
seL4_UserException_Number,
@ -76,7 +76,7 @@ enum {
} seL4_UserException_Msg;
#ifdef CONFIG_KERNEL_MCS
enum {
typedef enum {
seL4_TimeoutReply_FaultIP,
seL4_TimeoutReply_LR,
seL4_TimeoutReply_SP,
@ -112,7 +112,7 @@ enum {
seL4_TimeoutReply_Length,
} seL4_TimeoutReply_Msg;
enum {
typedef enum {
seL4_Timeout_Data,
seL4_Timeout_Consumed_HighBits,
seL4_Timeout_Consumed_LowBits,

10
libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/constants.h
View file

@ -50,7 +50,7 @@
#define seL4_MaxUntypedBits 38
#ifndef __ASSEMBLER__
enum {
typedef enum {
seL4_VMFault_IP,
seL4_VMFault_Addr,
seL4_VMFault_PrefetchFault,
@ -58,7 +58,7 @@ enum {
seL4_VMFault_Length,
} seL4_VMFault_Msg;
enum {
typedef enum {
seL4_UnknownSyscall_FaultIP,
seL4_UnknownSyscall_SP,
seL4_UnknownSyscall_RA,
@ -73,7 +73,7 @@ enum {
seL4_UnknownSyscall_Length,
} seL4_UnknownSyscall_Msg;
enum {
typedef enum {
seL4_UserException_FaultIP,
seL4_UserException_SP,
seL4_UserException_Number,
@ -82,7 +82,7 @@ enum {
} seL4_UserException_Msg;
#ifdef CONFIG_KERNEL_MCS
enum {
typedef enum {
seL4_TimeoutReply_FaultIP,
seL4_TimeoutReply_LR,
seL4_TimeoutReply_SP,
@ -118,7 +118,7 @@ enum {
seL4_TimeoutReply_Length,
} seL4_TimeoutReply_Msg;
enum {
typedef enum {
seL4_Timeout_Data,
seL4_Timeout_Consumed,
seL4_Timeout_Length,

10
libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/constants.h
View file

@ -71,7 +71,7 @@ SEL4_SIZE_SANITY(seL4_PDPTEntryBits, seL4_PDPTIndexBits, seL4_PDPTBits);
SEL4_SIZE_SANITY(seL4_PML4EntryBits, seL4_PML4IndexBits, seL4_PML4Bits);
SEL4_SIZE_SANITY(seL4_WordSizeBits, seL4_ASIDPoolIndexBits, seL4_ASIDPoolBits);
enum {
typedef enum {
seL4_VMFault_IP,
seL4_VMFault_Addr,
seL4_VMFault_PrefetchFault,
@ -80,7 +80,7 @@ enum {
SEL4_FORCE_LONG_ENUM(seL4_VMFault_Msg),
} seL4_VMFault_Msg;
enum {
typedef enum {
seL4_UnknownSyscall_RAX,
seL4_UnknownSyscall_RBX,
seL4_UnknownSyscall_RCX,
@ -104,7 +104,7 @@ enum {
SEL4_FORCE_LONG_ENUM(seL4_UnknownSyscall_Msg)
} seL4_UnknownSyscall_Msg;
enum {
typedef enum {
seL4_UserException_FaultIP,
seL4_UserException_SP,
seL4_UserException_FLAGS,
@ -115,14 +115,14 @@ enum {
} seL4_UserException_Msg;
#ifdef CONFIG_KERNEL_MCS
enum {
typedef enum {
seL4_Timeout_Data,
seL4_Timeout_Consumed,
seL4_Timeout_Length,
SEL4_FORCE_LONG_ENUM(seL4_Timeout_Msg)
} seL4_TimeoutMsg;
enum {
typedef enum {
seL4_TimeoutReply_FaultIP,
seL4_TimeoutReply_RSP,
seL4_TimeoutReply_FLAGS,