diff --git a/include/bl31/cpu_data.h b/include/bl31/cpu_data.h index ef0b68c..9015c4b 100644 --- a/include/bl31/cpu_data.h +++ b/include/bl31/cpu_data.h @@ -104,6 +104,10 @@ #define get_cpu_data_by_mpidr(_id, _m) _cpu_data_by_mpidr(_id)->_m #define set_cpu_data_by_mpidr(_id, _m, _v) _cpu_data_by_mpidr(_id)->_m = _v +#define flush_cpu_data(_m) flush_dcache_range((uint64_t) \ + &(_cpu_data()->_m), \ + sizeof(_cpu_data()->_m)) + #endif /* __ASSEMBLY__ */ #endif /* __CPU_DATA_H__ */