/seL4-test-master/kernel/include/arch/riscv/arch/32/mode/ |
H A D | types.h | 13 compile_assert(long_is_32bits, sizeof(unsigned long) == 4)
|
/seL4-test-master/kernel/include/arch/riscv/arch/64/mode/ |
H A D | types.h | 13 compile_assert(long_is_64bits, sizeof(unsigned long) == 8)
|
/seL4-test-master/kernel/src/arch/arm/64/machine/ |
H A D | registerset.c | 13 compile_assert( 22 compile_assert( 32 compile_assert(
|
/seL4-test-master/kernel/src/arch/riscv/machine/ |
H A D | registerset.c | 14 compile_assert( 23 compile_assert( 33 compile_assert(
|
/seL4-test-master/kernel/src/arch/arm/32/machine/ |
H A D | registerset.c | 13 compile_assert( 22 compile_assert( 31 compile_assert(
|
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/model/ |
H A D | smp.h | 30 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 D | types.h | 14 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 D | assert.h | 42 #define compile_assert(name, expr) \ macro 50 #define unverified_compile_assert compile_assert
|
H A D | bootinfo.h | 19 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 D | smp.h | 20 compile_assert(kernel_stack_4k_aligned, KERNEL_STACK_ALIGNMENT == 4096)
|
/seL4-test-master/kernel/include/arch/arm/arch/ |
H A D | types.h | 14 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 D | statedata.c | 94 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 D | registerset.c | 21 compile_assert( 29 compile_assert( 37 compile_assert(
|
/seL4-test-master/kernel/src/arch/x86/64/machine/ |
H A D | registerset.c | 15 compile_assert( 24 compile_assert( 32 compile_assert(
|
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/ |
H A D | registerset.h | 118 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 D | structures.h | 400 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 D | faults.c | 20 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 D | fastpath.h | 22 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 D | fastpath.h | 23 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 D | structures.h | 25 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 D | hardware.h | 116 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 D | acpi.c | 28 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 D | statedata.c | 27 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 D | registerset.h | 153 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 D | acpi.h | 43 compile_assert(acpi_rsdp_packed, sizeof(acpi_rsdp_t) == ACPI_V2_SIZE)
|