/*
 * SPDX-License-Identifier: BSD-3-Clause
 * SPDX-FileCopyrightText: Copyright TF-RMM Contributors.
 */

#include <fpu_helpers.h>

void fpu_save_state(struct fpu_state *fpu) {}
void fpu_restore_state(struct fpu_state *fpu) {}