Home
last modified time | relevance | path

Searched refs:static_assert (Results 1 – 25 of 29) sorted by relevance

12

/hyp/interfaces/util/include/
A Denum.h6 static_assert(name##__MIN >= 0, "negative enum"); \
7 static_assert(name##__MAX >= name##__MIN, "invalid enum"); \
A Dassert.h12 #define static_assert _Static_assert macro
/hyp/core/preempt/src/
A Dpreempt.c29 static_assert(PREEMPT_BITS_COUNT_MAX < PREEMPT_BITS_CPU_INIT,
31 static_assert(PREEMPT_BITS_COUNT_MAX < PREEMPT_BITS_IN_INTERRUPT,
33 static_assert(PREEMPT_BITS_COUNT_MAX < PREEMPT_BITS_ABORT_KERNEL,
/hyp/core/base/src/
A Dbase.c10 static_assert(SIZE_MAX == UINT64_MAX, "SIZE_MAX smaller than machine width");
/hyp/interfaces/smc_trace/include/
A Dsmc_trace.h11 static_assert(num <= SMC_TRACE_REG_MAX, "num out of range"); \
/hyp/core/thread_standard/aarch64/src/
A Dthread_arch.c89 static_assert(offsetof(thread_t, context.sp) == in thread_arch_switch_thread()
93 static_assert(offsetof(thread_t, context.fp) == in thread_arch_switch_thread()
200 static_assert(offsetof(thread_t, context.sp) == in thread_freeze()
204 static_assert(offsetof(thread_t, context.fp) == in thread_freeze()
/hyp/mem/allocator_boot/src/
A Dbootmem.c27 static_assert( in allocator_boot_handle_boot_runtime_first_init()
30 static_assert(PLATFORM_RW_DATA_SIZE >= 0x200000, in allocator_boot_handle_boot_runtime_first_init()
/hyp/core/partition_standard/src/
A Dinit.c48 static_assert(((size_t)PLATFORM_RW_DATA_SIZE & 0x1fffffU) == 0U,
50 static_assert(((size_t)PLATFORM_HEAP_PRIVATE_SIZE & 0xfffU) == 0U,
/hyp/misc/trace_standard/src/
A Dtrace.c31 static_assert((uintmax_t)PLATFORM_MAX_CORES <
34 static_assert((uintmax_t)ENUM_TRACE_ID_MAX_VALUE <
37 static_assert(TRACE_BUFFER_ENTRY_SIZE == TRACE_BUFFER_HEADER_SIZE,
/hyp/core/ipi/src/
A Dipi.c55 static_assert(((size_t)IPI_REASON__MAX + 1U) < (REGISTER_BITS - 1U),
58 static_assert(((size_t)IPI_REASON__MAX + 1U) < REGISTER_BITS,
/hyp/vm/arm_vm_sve_simple/aarch64/src/
A Darm_vm_sve.c29 static_assert(SVE_Z_REG_SIZE >= SVE_Z_MIN_REG_SIZE,
/hyp/core/cspace_twolevel/src/
A Dcspace_twolevel.c34 static_assert(sizeof(cap_data_t) == 16U, "Cap data must be 16 bytes");
35 static_assert(atomic_is_lock_free((cap_data_t *)NULL),
37 static_assert(sizeof(cap_t) == 32U, "Cap must be 32 bytes");
38 static_assert(sizeof(cap_table_t) == CAP_TABLE_ALLOC_SIZE,
40 static_assert(_Alignof(cap_table_t) == CAP_TABLE_ALLOC_SIZE,
42 static_assert(sizeof(cspace_t) == CSPACE_ALLOC_SIZE,
/hyp/vm/rootvm/src/
A Drootvm_init.c166 static_assert(SCHEDULER_NUM_PRIORITIES >= (priority_t)3U, in rootvm_init()
168 static_assert(ROOTVM_PRIORITY <= VCPU_MAX_PRIORITY, in rootvm_init()
/hyp/platform/arm_arch_timer_lp/src/
A Dplatform_timer_lp.c134 static_assert(PLATFORM_ARCH_TIMER_LP_FREQ == PLATFORM_ARCH_TIMER_FREQ, in platform_timer_lp_handle_boot_cold_init()
/hyp/misc/log_standard/src/
A Dlog.c37 static_assert((size_t)LOG_BUFFER_SIZE > LOG_ENTRY_BUFFER_SIZE,
/hyp/vm/vcpu/aarch64/src/
A Dcontext_switch.c37 static_assert(VCPU_TRACE_CONTEXT_SAVED && VCPU_DEBUG_CONTEXT_SAVED, in vcpu_context_switch_load()
A Dsysreg_traps.c28 static_assert((ARCH_AARCH64_32BIT_EL1 && ARCH_AARCH64_32BIT_EL0) ||
/hyp/core/api/aarch64/templates/
A Dc_wrapper.c.tmpl58 static_assert(sizeof(${return_type($hypcall)}) <= 8U * sizeof(register_t),
/hyp/core/scheduler_fprr/src/
A Dscheduler_fprr.c45 static_assert((SCHEDULER_DEFAULT_PRIORITY >= SCHEDULER_MIN_PRIORITY) &&
48 static_assert((SCHEDULER_DEFAULT_TIMESLICE <= SCHEDULER_MAX_TIMESLICE) &&
51 static_assert((index_t)SCHEDULER_BLOCK__MAX < BITMAP_WORD_BITS,
1221 static_assert(SCHEDULER_MIN_PRIORITY == 0U, in scheduler_set_priority()
/hyp/platform/gicv3/src/
A Dgicv3.c48 static_assert(!GICV3_HAS_ITS || GICV3_HAS_LPI,
51 static_assert(!GICV3_ENABLE_VPE || GICV3_HAS_VLPI,
54 static_assert(!GICV3_HAS_VLPI || GICV3_HAS_ITS,
56 static_assert(!GICV3_HAS_VLPI_V4_1 || GICV3_HAS_VLPI,
58 static_assert(!GICV3_HAS_LPI || !GICV3_HAS_ITS || GICV3_HAS_VLPI_V4_1,
99 static_assert(util_is_p2(GIC_LPI_BASE + GIC_LPI_NUM) && (GIC_LPI_NUM > 0),
691 static_assert(PLATFORM_GICR_SIZE == PLATFORM_GICR_COUNT in gicv3_handle_boot_cold_init()
/hyp/core/rcu_bitmap/src/
A Drcu_bitmap.c23 static_assert(PLATFORM_MAX_CORES <= 32U, "PLATFORM_MAX_CORES > 32");
/hyp/core/util/tests/
A Dstring.c338 static_assert(BUFFER_PAD <= (2 * LARGE_ALIGN), in memmove_tests()
/hyp/mem/memdb_bitmap/src/
A Dmemdb.c28 static_assert((uint64_t)MEMDB_TYPE_NOTYPE == 0U,
43 static_assert(util_is_p2(MEMDB_BITMAP_ID_BITS) ||
177 static_assert(MEMDB_NUM_ENTRIES < in memdb_create_bitmap()
/hyp/mem/addrspace/src/
A Daddrspace.c50 static_assert(ADDRSPACE_INFO_AREA_LAYOUT_SIZE <= MAX_VM_INFO_AREA_SIZE,
/hyp/misc/gpt/src/
A Dgpt.c30 static_assert(sizeof(gpt_value_t) <= sizeof(uint64_t),
32 static_assert(GPT_TYPE__MAX < util_bit(GPT_TYPE_BITS),

Completed in 124 milliseconds

12