Home
last modified time | relevance | path

Searched refs:AAPCS_DUAL_U32_AS_U64 (Results 1 – 2 of 2) sorted by relevance

/trusted-firmware-m-3.7.0/secure_fw/spm/include/
Daapcs_local.h60 #define AAPCS_DUAL_U32_AS_U64(v) (v).u64_val macro
/trusted-firmware-m-3.7.0/secure_fw/spm/core/
Dbackend_ipc.c435 return AAPCS_DUAL_U32_AS_U64(spm_stack_info); in backend_abi_entering_spm()
553 return AAPCS_DUAL_U32_AS_U64(ctx_ctrls); in ipc_schedule()