Searched refs:compile_assert (Results 1 - 25 of 39) sorted by relevance

12

/seL4-test-master/kernel/include/arch/riscv/arch/32/mode/
H A Dtypes.h13 compile_assert(long_is_32bits, sizeof(unsigned long) == 4)
/seL4-test-master/kernel/include/arch/riscv/arch/64/mode/
H A Dtypes.h13 compile_assert(long_is_64bits, sizeof(unsigned long) == 8)
/seL4-test-master/kernel/src/arch/arm/64/machine/
H A Dregisterset.c13 compile_assert(
22 compile_assert(
32 compile_assert(
/seL4-test-master/kernel/src/arch/riscv/machine/
H A Dregisterset.c14 compile_assert(
23 compile_assert(
33 compile_assert(
/seL4-test-master/kernel/src/arch/arm/32/machine/
H A Dregisterset.c13 compile_assert(
22 compile_assert(
31 compile_assert(
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/model/
H A Dsmp.h30 compile_assert(nodeInfoIsCacheSized, (sizeof(nodeInfo_t) % L1_CACHE_LINE_SIZE) == 0)
40 compile_assert(nodeInfoAndScratchSameSize, sizeof(node_info) == sizeof(nodeSkimScratch))
/seL4-test-master/kernel/include/arch/x86/arch/
H A Dtypes.h14 compile_assert(long_is_32bits, sizeof(unsigned long) == 4)
16 compile_assert(long_is_64bits, sizeof(unsigned long) == 8)
/seL4-test-master/kernel/include/
H A Dassert.h42 #define compile_assert(name, expr) \ macro
50 #define unverified_compile_assert compile_assert
H A Dbootinfo.h19 compile_assert(bi_size, sizeof(seL4_BootInfo) <= BIT(BI_FRAME_SIZE_BITS))
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/smp/
H A Dsmp.h20 compile_assert(kernel_stack_4k_aligned, KERNEL_STACK_ALIGNMENT == 4096)
/seL4-test-master/kernel/include/arch/arm/arch/
H A Dtypes.h14 compile_assert(long_is_32bits, sizeof(unsigned long) == 4)
16 compile_assert(long_is_64bits, sizeof(unsigned long) == 8)
/seL4-test-master/kernel/src/arch/arm/64/model/
H 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-test-master/kernel/src/arch/x86/32/machine/
H A Dregisterset.c21 compile_assert(
29 compile_assert(
37 compile_assert(
/seL4-test-master/kernel/src/arch/x86/64/machine/
H A Dregisterset.c15 compile_assert(
24 compile_assert(
32 compile_assert(
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h118 compile_assert(sp_offset_correct, SP *sizeof(word_t) == PT_SP)
119 compile_assert(lr_svc_offset_correct, NextIP *sizeof(word_t) == PT_NextIP)
121 compile_assert(elr_hyp_offset_correct, ELR_hyp *sizeof(word_t) == PT_ELR_hyp)
123 compile_assert(faultinstruction_offset_correct, FaultIP *sizeof(word_t) == PT_FaultIP)
124 compile_assert(r8_offset_correct, R8 *sizeof(word_t) == PT_R8)
/seL4-test-master/kernel/include/object/
H A Dstructures.h400 compile_assert(cte_size_sane, sizeof(cte_t) <= BIT(seL4_SlotBits))
401 compile_assert(tcb_cte_size_sane, TCB_CNODE_SIZE_BITS <= TCB_SIZE_BITS)
402 compile_assert(tcb_size_sane,
404 compile_assert(tcb_size_not_excessive,
406 compile_assert(ep_size_sane, sizeof(endpoint_t) <= BIT(seL4_EndpointBits))
407 compile_assert(notification_size_sane, sizeof(notification_t) <= BIT(seL4_NotificationBits))
410 compile_assert(ipc_buf_size_sane, sizeof(seL4_IPCBuffer) == BIT(seL4_IPCBufferSizeBits))
412 compile_assert(sc_core_size_sane, (sizeof(sched_context_t) + MIN_REFILLS *sizeof(refill_t) <=
414 compile_assert(reply_size_sane, sizeof(reply_t) <= BIT(seL4_ReplyBits))
415 compile_assert(refill_size_san
[all...]
/seL4-test-master/kernel/src/api/
H 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_Syscall)
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-test-master/kernel/include/arch/arm/arch/32/mode/fastpath/
H 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-test-master/kernel/include/arch/arm/arch/64/mode/fastpath/
H 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-test-master/kernel/include/arch/x86/arch/64/mode/object/
H 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-test-master/kernel/include/plat/pc99/plat/64/plat_mode/machine/
H A Dhardware.h116 compile_assert(user_top_tlbbitmap_no_overlap, GET_PML4_INDEX(USER_TOP) != GET_PML4_INDEX(TLBBITMAP_PPTR))
/seL4-test-master/kernel/src/plat/pc99/machine/
H 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_packe
[all...]
/seL4-test-master/kernel/src/model/
H 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-test-master/kernel/include/arch/arm/arch/64/mode/machine/
H 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-test-master/kernel/include/plat/pc99/plat/machine/
H A Dacpi.h43 compile_assert(acpi_rsdp_packed, sizeof(acpi_rsdp_t) == ACPI_V2_SIZE)

Completed in 136 milliseconds

12