Searched refs:STATIC_ASSERT (Results 1 - 25 of 40) sorted by relevance

12

/barrelfish-2018-10-04/include/barrelfish/
H A Dstatic_assert.h29 #define STATIC_ASSERT(e,m) \ macro
36 #define STATIC_ASSERT(e,m) \ macro
41 STATIC_ASSERT(sizeof(tname) == n, \
48 STATIC_ASSERT(sa_offsetof(tname, field) == offset, \
H A Dtypes.h59 STATIC_ASSERT(MAX_CPUS == MAX_COREID, "MAX_CPUS != MAX_COREID")
H A Dump_impl.h73 STATIC_ASSERT((sizeof(struct ump_message)%CACHELINE_BYTES)==0,
/barrelfish-2018-10-04/include/octopus/
H A Dinit.h22 STATIC_ASSERT(sizeof(uintptr_t) <= sizeof(uint64_t),
/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dcpu.h36 STATIC_ASSERT(CPU_TYPE_NUM == 5, "knowledge of all CPU types here");
49 STATIC_ASSERT(CPU_TYPE_NUM == 5, "knowledge of all CPU types here");
H A Ddistcaps.h43 STATIC_ASSERT(50 == ObjType_Num, "Knowledge of all cap types");
93 STATIC_ASSERT(50 == ObjType_Num, "Knowledge of all cap types");
H A Dplatform.h58 STATIC_ASSERT(PI_ARCH_INFO_SIZE >= sizeof(struct arch_info_armv7), \
73 STATIC_ASSERT(PI_ARCH_INFO_SIZE >= sizeof(struct arch_info_armv8), \
H A Dcapabilities.h55 STATIC_ASSERT((L2_CNODE_SLOTS * (1UL << OBJBITS_CTE)) == OBJSIZE_L2CNODE,
60 STATIC_ASSERT(50 == ObjType_Num, "Check VNode definitions");
80 STATIC_ASSERT(50 == ObjType_Num, "Check VNode definitions");
102 STATIC_ASSERT(50 == ObjType_Num, "Check VNode definitions");
147 STATIC_ASSERT(50 == ObjType_Num, "Check VNode definitions");
189 STATIC_ASSERT(50 == ObjType_Num, "Check VNode definitions");
243 STATIC_ASSERT(50 == ObjType_Num, "Check CNode definitions");
258 STATIC_ASSERT(50 == ObjType_Num, "Knowledge of all mapping types");
299 STATIC_ASSERT(50 == ObjType_Num, "Knowledge of all mapping types");
327 STATIC_ASSERT(5
[all...]
/barrelfish-2018-10-04/kernel/arch/arm/
H A Dexec.c35 STATIC_ASSERT(CPSR_REG == 0, "");
36 STATIC_ASSERT(R0_REG == 1, "");
37 STATIC_ASSERT(PC_REG == 16, "");
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dexec.c28 STATIC_ASSERT(X0_REG == 0, "");
29 STATIC_ASSERT(PC_REG == 32, "");
30 STATIC_ASSERT(SPSR_REG == 33, "");
/barrelfish-2018-10-04/kernel/include/
H A Dkernel.h143 #define STATIC_ASSERT(e,m) \ macro
150 #define STATIC_ASSERT(e,m) \ macro
155 STATIC_ASSERT(sizeof(tname) == n, \
162 STATIC_ASSERT(sa_offsetof(tname, field) == offset, \
H A Dcapabilities.h38 STATIC_ASSERT((ROUND_UP(sizeof(struct capability), 8)
44 STATIC_ASSERT(sizeof(enum objtype) == 1, "short enums work");
89 STATIC_ASSERT(50 == ObjType_Num, "Check Mapping definitions");
171 STATIC_ASSERT(50 == ObjType_Num, "knowledge of all cap types");
172 STATIC_ASSERT(64 >= ObjType_Num, "cap types fit in uint64_t bitfield");
/barrelfish-2018-10-04/include/target/aarch64/barrelfish_kpi/
H A Darm_core_data.h117 STATIC_ASSERT(sizeof(struct armv8_core_data) < BASE_PAGE_SIZE,
/barrelfish-2018-10-04/lib/barrelfish/arch/arm/
H A Dsyscalls.c21 STATIC_ASSERT(SYSCALL_REG == 0, "Bad register for system call argument.");
H A Ddispatch.c44 STATIC_ASSERT(CPSR_REG == 0, "broken context assumption");
45 STATIC_ASSERT(NUM_REGS == 82, "broken context assumption");
46 STATIC_ASSERT(PC_REG == 16, "broken context assumption");
/barrelfish-2018-10-04/lib/barrelfish/arch/aarch64/
H A Ddispatch.c45 STATIC_ASSERT(PC_REG == 32, "broken context assumption");
46 STATIC_ASSERT(SPSR_REG == 33, "broken context assumption");
47 STATIC_ASSERT(NUM_REGS == 98, "broken context assumption");
H A Dsyscalls.c21 STATIC_ASSERT(SYSCALL_REG == 0, "Bad register for system call argument.");
H A Dpmap.c76 STATIC_ASSERT(0x1ff == VREGION_FLAGS_MASK, "");
77 STATIC_ASSERT(0x0f == KPI_PAGING_FLAGS_MASK, "");
78 STATIC_ASSERT(VREGION_FLAGS_READ == KPI_PAGING_FLAGS_READ, "");
79 STATIC_ASSERT(VREGION_FLAGS_WRITE == KPI_PAGING_FLAGS_WRITE, "");
80 STATIC_ASSERT(VREGION_FLAGS_EXECUTE == KPI_PAGING_FLAGS_EXECUTE, "");
81 STATIC_ASSERT(VREGION_FLAGS_NOCACHE == KPI_PAGING_FLAGS_NOCACHE, "");
/barrelfish-2018-10-04/lib/trace/
H A Dtrace.c24 STATIC_ASSERT((sizeof(struct trace_buffer) <= TRACE_PERCORE_BUF_SIZE), "size mismatch");
/barrelfish-2018-10-04/include/thc/
H A Dthcstubs.h29 #define STATIC_ASSERT(x, msg) C_ASSERT(x) macro
65 STATIC_ASSERT(offsetof(struct common_binding, _f)==offsetof(_t,_f) && \
/barrelfish-2018-10-04/usr/monitor/include/
H A Dmonitor.h32 STATIC_ASSERT(MON_URPC_SIZE == 2*BASE_PAGE_SIZE,
82 STATIC_ASSERT(sizeof(union capability_caprep_u) >= sizeof(struct capability), \
85 STATIC_ASSERT(sizeof(struct capability) <= sizeof(intermon_caprep_t),
/barrelfish-2018-10-04/usr/monitor/include/arch/aarch64/
H A Dmonitor_invocations_arch.h33 STATIC_ASSERT(ObjType_Num < 0xFFFF, "retype invocation argument packing does not truncate enum objtype");
/barrelfish-2018-10-04/usr/monitor/include/arch/arm/
H A Dmonitor_invocations_arch.h33 STATIC_ASSERT(ObjType_Num < 0xFFFF, "retype invocation argument packing does not truncate enum objtype");
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dpaging_init.c235 STATIC_ASSERT(1UL<<(32-TTBCR_N) == MEMORY_OFFSET, "");
/barrelfish-2018-10-04/usr/drivers/solarflare/
H A Ddevif_backend_solarflare.c40 STATIC_ASSERT((TX_ENTRIES & (TX_ENTRIES - 1)) == 0, "must be a power of two");
41 STATIC_ASSERT((RX_ENTRIES & (RX_ENTRIES - 1)) == 0, "must be a power of two");
42 STATIC_ASSERT((EV_ENTRIES & (EV_ENTRIES - 1)) == 0, "must be a power of two");

Completed in 219 milliseconds

12