7d3b6c6a40
The interface to flush fpu is not unique to one architecture, make it a generic, optional interface that can be implemented (and overriden) by a platform. Signed-off-by: Anas Nashif <anas.nashif@intel.com> |
||
---|---|---|
.. | ||
kernel_arch_data.h | ||
kernel_arch_func.h | ||
offsets_short_arch.h | ||
pmp.h |