Home
last modified time | relevance | path

Searched refs:compile_assert (Results 1 – 25 of 44) sorted by relevance

12

/seL4-master/include/object/
A Dstructures.h403 compile_assert(cte_size_sane, sizeof(cte_t) <= BIT(seL4_SlotBits))
404 compile_assert(tcb_cte_size_sane, TCB_CNODE_SIZE_BITS <= TCB_SIZE_BITS)
405 compile_assert(tcb_size_sane,
407 compile_assert(tcb_size_not_excessive,
409 compile_assert(ep_size_sane, sizeof(endpoint_t) <= BIT(seL4_EndpointBits))
410 compile_assert(notification_size_sane, sizeof(notification_t) <= BIT(seL4_NotificationBits))
413 compile_assert(ipc_buf_size_sane, sizeof(seL4_IPCBuffer) == BIT(seL4_IPCBufferSizeBits))
415 compile_assert(sc_core_size_sane, (sizeof(sched_context_t) + MIN_REFILLS *sizeof(refill_t) <=
417 compile_assert(reply_size_sane, sizeof(reply_t) <= BIT(seL4_ReplyBits))
418 compile_assert(refill_size_sane, (sizeof(refill_t) == seL4_RefillSizeBytes))
/seL4-master/src/arch/arm/64/model/
A Dstatedata.c94 compile_assert(log_pude_is_correct_preallocated_pude,
96 compile_assert(log_pde_is_correct_preallocated_pde,
117 compile_assert(smmuStateSIDCNodeSize, sizeof(smmuStateSIDNode) >= ((SMMU_MAX_SID) * sizeof(cte_t)));
123 compile_assert(smmuStateCBCNodeSize, sizeof(smmuStateCBNode) >= ((SMMU_MAX_CB) * sizeof(cte_t)));
/seL4-master/src/arch/arm/32/machine/
A Dregisterset.c13 compile_assert(
22 compile_assert(
31 compile_assert(
/seL4-master/src/arch/riscv/machine/
A Dregisterset.c14 compile_assert(
23 compile_assert(
33 compile_assert(
/seL4-master/src/arch/arm/64/machine/
A Dregisterset.c13 compile_assert(
22 compile_assert(
32 compile_assert(
/seL4-master/include/arch/arm/arch/32/mode/machine/
A Dregisterset.h111 compile_assert(sp_offset_correct, SP *sizeof(word_t) == PT_SP)
112 compile_assert(lr_svc_offset_correct, NextIP *sizeof(word_t) == PT_NextIP)
114 compile_assert(elr_hyp_offset_correct, ELR_hyp *sizeof(word_t) == PT_ELR_hyp)
116 compile_assert(faultinstruction_offset_correct, FaultIP *sizeof(word_t) == PT_FaultIP)
117 compile_assert(r8_offset_correct, R8 *sizeof(word_t) == PT_R8)
/seL4-master/src/arch/x86/32/machine/
A Dregisterset.c21 compile_assert(
29 compile_assert(
37 compile_assert(
/seL4-master/src/plat/pc99/machine/
A Dacpi.c28 compile_assert(acpi_dmar_packed,
36 compile_assert(acpi_dmar_header_packed, sizeof(acpi_dmar_header_t) == 4)
53 compile_assert(acpi_dmar_drhd_packed,
68 compile_assert(acpi_dmar_devscope_packed, sizeof(acpi_dmar_devscope_t) == 8)
79 compile_assert(acpi_dmar_rmrr_packed, sizeof(acpi_dmar_rmrr_t) ==
88 compile_assert(acpi_fadt_packed,
97 compile_assert(acpi_madt_packed,
104 compile_assert(acpi_madt_header_packed, sizeof(acpi_madt_header_t) == 2)
119 compile_assert(acpi_madt_apic_packed,
129 compile_assert(acpi_madt_x2apic_packed,
[all …]
/seL4-master/src/api/
A Dfaults.c20 compile_assert(InvalidRoot, lookup_fault_invalid_root + 1 == seL4_InvalidRoot)
21 compile_assert(MissingCapability, lookup_fault_missing_capability + 1 == seL4_MissingCapability)
22 compile_assert(DepthMismatch, lookup_fault_depth_mismatch + 1 == seL4_DepthMismatch)
23 compile_assert(GuardMismatch, lookup_fault_guard_mismatch + 1 == seL4_GuardMismatch)
24 compile_assert(seL4_UnknownSyscall_Syscall, (word_t) n_syscallMessage == seL4_UnknownSyscall_Syscal…
25 compile_assert(seL4_UserException_Number, (word_t) n_exceptionMessage == seL4_UserException_Number)
26 compile_assert(seL4_UserException_Code, (word_t) n_exceptionMessage + 1 == seL4_UserException_Code)
/seL4-master/src/arch/x86/64/machine/
A Dregisterset.c15 compile_assert(
24 compile_assert(
32 compile_assert(
/seL4-master/include/arch/arm/arch/64/mode/
A Dhardware.h218 compile_assert(ut_max_less_than_cannonical, CONFIG_PADDR_USER_DEVICE_TOP <= BIT(47));
220 compile_assert(ut_max_is_cannonical, (PPTR_BASE + CONFIG_PADDR_USER_DEVICE_TOP) <= BIT(48));
A Dtypes.h11 compile_assert(long_is_64bits, sizeof(unsigned long) == 8)
/seL4-master/include/
A Dassert.h46 #define compile_assert(name, expr) \ macro
54 #define unverified_compile_assert compile_assert
/seL4-master/include/arch/arm/arch/64/mode/fastpath/
A Dfastpath.h23 compile_assert(SysCall_Minus1, SysCall == -1)
24 compile_assert(SysReplyRecv_Minus2, SysReplyRecv == -2)
71 compile_assert(n_msgRegisters_eq_4, n_msgRegisters == 4)
/seL4-master/include/arch/x86/arch/64/mode/model/
A Dsmp.h30 compile_assert(nodeInfoIsCacheSized, (sizeof(nodeInfo_t) % L1_CACHE_LINE_SIZE) == 0)
40 compile_assert(nodeInfoAndScratchSameSize, sizeof(node_info) == sizeof(nodeSkimScratch))
/seL4-master/include/arch/x86/arch/64/mode/object/
A Dstructures.h25 compile_assert(gdt_idt_ptr_packed,
28 compile_assert(unsigned_long_size_64,
31 compile_assert(unsinged_int_size_32,
34 compile_assert(uint64_t_size_64,
/seL4-master/include/arch/arm/arch/32/mode/fastpath/
A Dfastpath.h22 compile_assert(SysCall_Minus1, SysCall == -1)
23 compile_assert(SysReplyRecv_Minus2, SysReplyRecv == -2)
86 compile_assert(n_msgRegisters_eq_4, n_msgRegisters == 4)
/seL4-master/include/arch/arm/arch/64/mode/machine/
A Dregisterset.h153 compile_assert(sp_offset_correct, SP_EL0 *sizeof(word_t) == PT_SP_EL0)
154 compile_assert(lr_svc_offset_correct, ELR_EL1 *sizeof(word_t) == PT_ELR_EL1)
155 compile_assert(faultinstruction_offset_correct, FaultIP *sizeof(word_t) == PT_FaultIP)
/seL4-master/src/model/
A Dstatedata.c27 compile_assert(ksReadyQueuesL1BitmapBigEnough, (L2_BITMAP_SIZE - 1) <= wordBits)
81 compile_assert(irqCNodeSize, sizeof(intStateIRQNode) >= ((INT_STATE_ARRAY_SIZE) *sizeof(cte_t)));
/seL4-master/include/arch/riscv/arch/32/mode/
A Dtypes.h13 compile_assert(long_is_32bits, sizeof(unsigned long) == 4)
/seL4-master/include/arch/riscv/arch/64/mode/
A Dtypes.h13 compile_assert(long_is_64bits, sizeof(unsigned long) == 8)
/seL4-master/include/arch/x86/arch/32/mode/
A Dtypes.h11 compile_assert(long_is_32bits, sizeof(unsigned long) == 4)
/seL4-master/include/arch/x86/arch/64/mode/
A Dtypes.h11 compile_assert(long_is_64bits, sizeof(unsigned long) == 8)
/seL4-master/include/arch/arm/arch/32/mode/
A Dtypes.h11 compile_assert(long_is_32bits, sizeof(unsigned long) == 4)
/seL4-master/src/
A Dutil.c166 compile_assert(clz_ulong_32_or_64, sizeof(unsigned long) == 4 || sizeof(unsigned long) == 8);
167 compile_assert(clz_ullong_64, sizeof(unsigned long long) == 8);
168 compile_assert(clz_word_size, sizeof(unsigned long) * 8 == CONFIG_WORD_SIZE);

Completed in 34 milliseconds

12