//
// Generated by dtk
// Translation Unit: osdsp_task.c
//

#include "osdsp_task.h"
#include "dolphin/types.h"

/* 8028ECA0-8028EFA4       .text __DSPHandler */
void __DSPHandler {
    /* Nonmatching */
}

/* 8028EFC0-8028F010       .text DsyncFrame2__FUlUlUl */
void DsyncFrame2(unsigned long, unsigned long, unsigned long) {
    /* Nonmatching */
}

/* 8028F020-8028F060       .text Dsp_Update_Request__Fv */
void Dsp_Update_Request() {
    /* Nonmatching */
}

/* 8028F060-8028F074       .text Dsp_Running_Check__Fv */
void Dsp_Running_Check() {
    /* Nonmatching */
}

/* 8028F080-8028F08C       .text Dsp_Running_Start__Fv */
void Dsp_Running_Start() {
    /* Nonmatching */
}

