#ifndef DSPBOOT_H #define DSPBOOT_H #include "types.h" extern void DspBoot(void); #endif