#ifndef _CODENS32K_HPP
#define _CODENS32K_HPP
// SPDX-License-Identifier: GPL-2.0-only OR GPL-3.0-only

/* Declare this in a header file so CLang++ does not complain
   about unused inline functions: */

# include "cppops.h"
DefCPPOps_Enum(tFPU)
DefCPPOps_Enum(tPMMU)

#endif /* _CODENS32K_HPP */
