1 /*
2  * SPDX-License-Identifier: BSD-3-Clause
3  * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
4  */
5 
6 #include <fpu_helpers.h>
7 
fpu_save_state(struct fpu_state * fpu)8 void fpu_save_state(struct fpu_state *fpu) {}
fpu_restore_state(struct fpu_state * fpu)9 void fpu_restore_state(struct fpu_state *fpu) {}
10