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

12

/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/32/mode/
H A Dtypes.h25 compile_assert(long_is_32bits, sizeof(unsigned long) == 4)
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/64/mode/
H A Dtypes.h25 compile_assert(long_is_64bits, sizeof(unsigned long) == 8)
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/model/
H A Dsmp.h37 compile_assert(nodeInfoIsCacheSized, (sizeof(nodeInfo_t) % L1_CACHE_LINE_SIZE) == 0)
47 compile_assert(nodeInfoAndScratchSameSize, sizeof(node_info) == sizeof(nodeSkimScratch))
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/
H A Dtypes.h19 compile_assert(long_is_32bits, sizeof(unsigned long) == 4)
21 compile_assert(long_is_64bits, sizeof(unsigned long) == 8)
/seL4-l4v-10.1.1/seL4/include/
H A Dassert.h47 #define compile_assert(name, expr) \ macro
55 #define unverified_compile_assert compile_assert
H A Dbootinfo.h24 compile_assert(bi_size, sizeof(seL4_BootInfo) <= BIT(BI_FRAME_SIZE_BITS))
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/
H A Dtypes.h19 compile_assert(long_is_32bits, sizeof(unsigned long) == 4)
21 compile_assert(long_is_64bits, sizeof(unsigned long) == 8)
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/smp/
H A Dsmp.h27 compile_assert(kernel_stack_4k_aligned, KERNEL_STACK_ALIGNMENT == 4096)
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h109 compile_assert(sp_offset_correct, SP * sizeof(word_t) == PT_SP)
110 compile_assert(lr_svc_offset_correct, LR_svc * sizeof(word_t) == PT_LR_svc)
112 compile_assert(elr_hyp_offset_correct, ELR_hyp * sizeof(word_t) == PT_ELR_hyp)
114 compile_assert(faultinstruction_offset_correct, FaultInstruction * sizeof(word_t) == PT_FaultInstruction)
115 compile_assert(r8_offset_correct, R8 * sizeof(word_t) == PT_R8)
/seL4-l4v-10.1.1/seL4/include/object/
H A Dstructures.h273 compile_assert(cte_size_sane, sizeof(cte_t) <= BIT(seL4_SlotBits))
274 compile_assert(tcb_cte_size_sane, TCB_CNODE_SIZE_BITS <= TCB_SIZE_BITS)
275 compile_assert(tcb_size_sane,
277 compile_assert(tcb_size_not_excessive,
279 compile_assert(ep_size_sane, sizeof(endpoint_t) <= BIT(seL4_EndpointBits))
280 compile_assert(notification_size_sane, sizeof(notification_t) <= BIT(seL4_NotificationBits))
283 compile_assert(ipc_buf_size_sane, sizeof(seL4_IPCBuffer) == BIT(seL4_IPCBufferSizeBits))
/seL4-l4v-10.1.1/seL4/src/api/
H A Dfaults.c22 compile_assert(InvalidRoot, lookup_fault_invalid_root + 1 == seL4_InvalidRoot)
23 compile_assert(MissingCapability, lookup_fault_missing_capability + 1 == seL4_MissingCapability)
24 compile_assert(DepthMismatch, lookup_fault_depth_mismatch + 1 == seL4_DepthMismatch)
25 compile_assert(GuardMismatch, lookup_fault_guard_mismatch + 1 == seL4_GuardMismatch)
26 compile_assert(seL4_UnknownSyscall_Syscall, (word_t) n_syscallMessage == seL4_UnknownSyscall_Syscall)
27 compile_assert(seL4_UserException_Number, (word_t) n_exceptionMessage == seL4_UserException_Number)
28 compile_assert(seL4_UserException_Code, (word_t) n_exceptionMessage + 1 == seL4_UserException_Code)
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/fastpath/
H A Dfastpath.h27 compile_assert(SysCall_Minus1, SysCall == -1)
28 compile_assert(SysReplyRecv_Minus2, SysReplyRecv == -2)
97 compile_assert (n_msgRegisters_eq_4, n_msgRegisters == 4)
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/fastpath/
H A Dfastpath.h29 compile_assert(SysCall_Minus1, SysCall == -1)
30 compile_assert(SysReplyRecv_Minus2, SysReplyRecv == -2)
76 compile_assert (n_msgRegisters_eq_4, n_msgRegisters == 4)
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/machine/
H A Dregisterset.h150 compile_assert(sp_offset_correct, SP_EL0 * sizeof(word_t) == PT_SP_EL0)
151 compile_assert(lr_svc_offset_correct, ELR_EL1 * sizeof(word_t) == PT_ELR_EL1)
152 compile_assert(faultinstruction_offset_correct, FaultInstruction * sizeof(word_t) == PT_FaultInstruction)
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/object/
H A Dstructures.h32 compile_assert(gdt_idt_ptr_packed,
35 compile_assert(unsigned_long_size_64,
38 compile_assert(unsinged_int_size_32,
41 compile_assert(uint64_t_size_64,
/seL4-l4v-10.1.1/seL4/include/plat/tx2/plat/
H A Dmachine.h62 compile_assert(interuppt_mapping_check, (maxIRQ == (32 + 288 + 64 - 1)))
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dacpi.c32 compile_assert(acpi_dmar_packed,
40 compile_assert(acpi_dmar_header_packed, sizeof(acpi_dmar_header_t) == 4)
57 compile_assert(acpi_dmar_drhd_packed,
72 compile_assert(acpi_dmar_devscope_packed, sizeof(acpi_dmar_devscope_t) == 8)
83 compile_assert(acpi_dmar_rmrr_packed, sizeof(acpi_dmar_rmrr_t) ==
92 compile_assert(acpi_fadt_packed,
101 compile_assert(acpi_madt_packed,
108 compile_assert(acpi_madt_header_packed, sizeof(acpi_madt_header_t) == 2)
123 compile_assert(acpi_madt_apic_packed,
133 compile_assert(acpi_madt_x2apic_packe
[all...]
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/64/plat_mode/machine/
H A Dhardware.h80 compile_assert(user_top_tlbbitmap_no_overlap, GET_PML4_INDEX(PPTR_USER_TOP) != GET_PML4_INDEX(TLBBITMAP_PPTR))
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/machine/
H A Dacpi.h48 compile_assert(acpi_rsdp_packed, sizeof(acpi_rsdp_t) == ACPI_V2_SIZE)
/seL4-l4v-10.1.1/seL4/src/model/
H A Dstatedata.c31 compile_assert(ksReadyQueuesL1BitmapBigEnough, (L2_BITMAP_SIZE - 1) <= wordBits)
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/model/
H A Dstatedata.h70 compile_assert(x86_arch_global_state_padded, (sizeof(x86_arch_global_state_t) % L1_CACHE_LINE_SIZE) == 0)
/seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/
H A Dxapic.c20 compile_assert(number_of_cores_invalid_for_logical_ids, CONFIG_MAX_NUM_NODES <= 8)
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/object/
H A Dvcpu.h71 compile_assert(vcpu_size_correct, sizeof(struct vcpu) <= BIT(VCPU_SIZE_BITS))
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/fastpath/
H A Dfastpath.h82 compile_assert (n_msgRegisters_eq_4, n_msgRegisters == 4)
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/32/mode/object/
H A Dstructures.h50 compile_assert(gdt_idt_ptr_packed,

Completed in 97 milliseconds

12