/* *  ======== Settings_INTERNAL.xdc.h ======== *  Do not modify this file; it is generated from Settings.xdc *  and any modifications risk being overwritten. */#ifndef dsk6455_Settings__INTERNAL__#define dsk6455_Settings__INTERNAL__#include <dsk6455/Settings.h>#define Module__postInit dsk6455_Settings_Module__postInit#define Instance__init dsk6455_Settings_Instance__init#define Instance__postInit dsk6455_Settings_Instance__postInit#define Instance__finalize dsk6455_Settings_Instance__finalize#define module (&dsk6455_Settings__module__Object)#define Settings_module (&dsk6455_Settings__module__Object)#ifdef __cplusplususing namespace Settings;#endif#endif /* dsk6455_Settings__INTERNAL__ */