Searched refs:unverified_compile_assert (Results 1 - 6 of 6) sorted by relevance

/seL4-test-master/kernel/include/
H A Dassert.h46 * handle. For such expressions unverified_compile_assert should be used. */
48 #define unverified_compile_assert(name, expr) macro
50 #define unverified_compile_assert compile_assert macro
/seL4-test-master/kernel/include/arch/x86/arch/machine/
H A Dregisterset.h81 unverified_compile_assert(fpu_state_alignment_valid,
86 unverified_compile_assert(
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dregisterset.h259 unverified_compile_assert(registers_are_first_member_of_user_context,
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h241 unverified_compile_assert(registers_are_first_member_of_user_context,
/seL4-test-master/kernel/include/arch/x86/arch/object/
H A Dvcpu.h313 unverified_compile_assert(vcpu_fpu_state_alignment_valid,
/seL4-test-master/kernel/src/plat/pc99/machine/
H A Dacpi.c152 unverified_compile_assert(acpi_madt_iso_packed,

Completed in 105 milliseconds