/barrelfish-2018-10-04/include/barrelfish/ |
H A D | static_assert.h | 29 #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 D | types.h | 59 STATIC_ASSERT(MAX_CPUS == MAX_COREID, "MAX_CPUS != MAX_COREID")
|
H A D | ump_impl.h | 73 STATIC_ASSERT((sizeof(struct ump_message)%CACHELINE_BYTES)==0,
|
/barrelfish-2018-10-04/include/octopus/ |
H A D | init.h | 22 STATIC_ASSERT(sizeof(uintptr_t) <= sizeof(uint64_t),
|
/barrelfish-2018-10-04/include/barrelfish_kpi/ |
H A D | cpu.h | 36 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 D | distcaps.h | 43 STATIC_ASSERT(50 == ObjType_Num, "Knowledge of all cap types"); 93 STATIC_ASSERT(50 == ObjType_Num, "Knowledge of all cap types");
|
H A D | platform.h | 58 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 D | capabilities.h | 55 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 D | exec.c | 35 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 D | exec.c | 28 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 D | kernel.h | 143 #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 D | capabilities.h | 38 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 D | arm_core_data.h | 117 STATIC_ASSERT(sizeof(struct armv8_core_data) < BASE_PAGE_SIZE,
|
/barrelfish-2018-10-04/lib/barrelfish/arch/arm/ |
H A D | syscalls.c | 21 STATIC_ASSERT(SYSCALL_REG == 0, "Bad register for system call argument.");
|
H A D | dispatch.c | 44 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 D | dispatch.c | 45 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 D | syscalls.c | 21 STATIC_ASSERT(SYSCALL_REG == 0, "Bad register for system call argument.");
|
H A D | pmap.c | 76 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 D | trace.c | 24 STATIC_ASSERT((sizeof(struct trace_buffer) <= TRACE_PERCORE_BUF_SIZE), "size mismatch");
|
/barrelfish-2018-10-04/include/thc/ |
H A D | thcstubs.h | 29 #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 D | monitor.h | 32 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 D | monitor_invocations_arch.h | 33 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 D | monitor_invocations_arch.h | 33 STATIC_ASSERT(ObjType_Num < 0xFFFF, "retype invocation argument packing does not truncate enum objtype");
|
/barrelfish-2018-10-04/kernel/arch/armv7/ |
H A D | paging_init.c | 235 STATIC_ASSERT(1UL<<(32-TTBCR_N) == MEMORY_OFFSET, "");
|
/barrelfish-2018-10-04/usr/drivers/solarflare/ |
H A D | devif_backend_solarflare.c | 40 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");
|