Home
last modified time | relevance | path

Searched refs:CASSERT (Results 1 – 13 of 13) sorted by relevance

/device/linaro/bootloader/arm-trusted-firmware/include/bl31/
Dcpu_data.h93 CASSERT(CPU_DATA_CRASH_BUF_OFFSET == __builtin_offsetof
98 CASSERT((1 << CPU_DATA_LOG2SIZE) == sizeof(cpu_data_t),
101 CASSERT(CPU_DATA_CPU_OPS_PTR == __builtin_offsetof
Druntime_svc.h232 CASSERT((sizeof(rt_svc_desc_t) == SIZEOF_RT_SVC_DESC), \
234 CASSERT(RT_SVC_DESC_INIT == __builtin_offsetof(rt_svc_desc_t, init), \
236 CASSERT(RT_SVC_DESC_HANDLE == __builtin_offsetof(rt_svc_desc_t, handle), \
259 CASSERT(_tl != SMC_UNK, invalid_svc_uuid);\
Dcontext.h274 CASSERT(CTX_GPREGS_OFFSET == __builtin_offsetof(cpu_context_t, gpregs_ctx), \
276 CASSERT(CTX_SYSREGS_OFFSET == __builtin_offsetof(cpu_context_t, sysregs_ctx), \
279 CASSERT(CTX_FPREGS_OFFSET == __builtin_offsetof(cpu_context_t, fpregs_ctx), \
282 CASSERT(CTX_EL3STATE_OFFSET == __builtin_offsetof(cpu_context_t, el3state_ctx), \
/device/linaro/bootloader/arm-trusted-firmware/include/common/
Dbl_common.h201 CASSERT(ENTRY_POINT_INFO_PC_OFFSET ==
205 CASSERT(ENTRY_POINT_INFO_ARGS_OFFSET == \
209 CASSERT(sizeof(unsigned long) ==
/device/linaro/bootloader/arm-trusted-firmware/include/lib/
Dcassert.h40 #define CASSERT(cond, msg) typedef char msg[(cond) ? 1 : -1] macro
/device/linaro/bootloader/arm-trusted-firmware/services/spd/tspd/
Dtspd_private.h170 CASSERT(TSPD_C_RT_CTX_SIZE == sizeof(c_rt_regs_t), \
181 CASSERT(TSPD_SP_CTX_SIZE == sizeof(sp_ctx_regs_t), \
/device/linaro/bootloader/arm-trusted-firmware/include/plat/common/
Dplat_config.h63 CASSERT(CONFIG_GICC_BASE_OFFSET == __builtin_offsetof(
/device/linaro/bootloader/arm-trusted-firmware/plat/fvp/
Dfvp_private.h110 CASSERT(PLAT_PCPU_DATA_SIZE == sizeof(fvp_cpu_data_t), \
Dbl2_fvp_setup.c79 CASSERT((PARAMS_BASE + sizeof(bl2_to_bl31_params_mem_t)) <
/device/linaro/bootloader/arm-trusted-firmware/bl32/tsp/
Dtsp_private.h81 CASSERT(TSP_ARGS_SIZE == sizeof(tsp_args_t), assert_sp_args_size_mismatch);
/device/linaro/bootloader/arm-trusted-firmware/services/spd/opteed/
Dopteed_private.h138 CASSERT(OPTEED_C_RT_CTX_SIZE == sizeof(c_rt_regs_t), \
/device/linaro/bootloader/arm-trusted-firmware/plat/juno/
Djuno_private.h113 CASSERT(PLAT_PCPU_DATA_SIZE == sizeof(juno_cpu_data_t), \
/device/linaro/bootloader/arm-trusted-firmware/lib/aarch64/
Dxlat_tables.c50 CASSERT(ADDR_SPACE_SIZE > 0, assert_valid_addr_space_size);