//
// Generated By: dol2asm
// Translation Unit: dsp
//

#include "dolphin/dsp/dsp.h"
#include "dol2asm.h"
#include "dolphin/types.h"

//
// Forward References:
//

void DSPCheckMailToDSP();
void DSPCheckMailFromDSP();
void DSPReadMailFromDSP();
void DSPSendMailToDSP();
void DSPAssertInt();
void DSPInit();

//
// External References:
//

void __DSPHandler();
void OSRegisterVersion();
void OSDisableInterrupts();
void OSRestoreInterrupts();
void __OSSetInterruptHandler();
void __OSUnmaskInterrupts();
void __DSP_debug_printf();
extern u8 __DSP_tmp_task[4];
extern u8 __DSP_last_task[4];
extern u8 __DSP_first_task[4];
extern u8 __DSP_curr_task[4];

//
// Declarations:
//

/* 80352430-80352440 34CD70 0010+00 0/0 5/5 0/0 .text            DSPCheckMailToDSP */
#pragma push
#pragma optimization_level 0
#pragma optimizewithasm off
asm void DSPCheckMailToDSP() {
    nofralloc
#include "asm/dolphin/dsp/dsp/DSPCheckMailToDSP.s"
}
#pragma pop

/* 80352440-80352450 34CD80 0010+00 0/0 4/4 0/0 .text            DSPCheckMailFromDSP */
#pragma push
#pragma optimization_level 0
#pragma optimizewithasm off
asm void DSPCheckMailFromDSP() {
    nofralloc
#include "asm/dolphin/dsp/dsp/DSPCheckMailFromDSP.s"
}
#pragma pop

/* 80352450-80352468 34CD90 0018+00 0/0 4/4 0/0 .text            DSPReadMailFromDSP */
#pragma push
#pragma optimization_level 0
#pragma optimizewithasm off
asm void DSPReadMailFromDSP() {
    nofralloc
#include "asm/dolphin/dsp/dsp/DSPReadMailFromDSP.s"
}
#pragma pop

/* 80352468-8035247C 34CDA8 0014+00 0/0 5/5 0/0 .text            DSPSendMailToDSP */
#pragma push
#pragma optimization_level 0
#pragma optimizewithasm off
asm void DSPSendMailToDSP() {
    nofralloc
#include "asm/dolphin/dsp/dsp/DSPSendMailToDSP.s"
}
#pragma pop

/* 8035247C-803524BC 34CDBC 0040+00 0/0 1/1 0/0 .text            DSPAssertInt */
#pragma push
#pragma optimization_level 0
#pragma optimizewithasm off
asm void DSPAssertInt() {
    nofralloc
#include "asm/dolphin/dsp/dsp/DSPAssertInt.s"
}
#pragma pop

/* ############################################################################################## */
/* 803D1C78-803D1CC0 02ED98 0045+03 2/1 0/0 0/0 .data            @1 */
SECTION_DATA static char lit_1[] = "<< Dolphin SDK - DSP\trelease build: Apr  5 2004 04:15:32 (0x2301) >>";

/* 803D1CC0-803D1CE0 02EDE0 001E+02 0/1 0/0 0/0 .data            @19 */
#pragma push
#pragma force_active on
SECTION_DATA static char lit_19[] = "DSPInit(): Build Date: %s %s\n";
#pragma pop

/* 803D1CE0-803D1CEC 02EE00 000C+00 0/1 0/0 0/0 .data            @20 */
#pragma push
#pragma force_active on
SECTION_DATA static char lit_20[] = "Apr  5 2004";
#pragma pop

/* 803D1CEC-803D1CF8 02EE0C 0009+03 0/1 0/0 0/0 .data            @21 */
#pragma push
#pragma force_active on
SECTION_DATA static char lit_21[] = "04:15:32";
#pragma pop

/* 80450A58-80450A60 -00001 0004+04 1/1 0/0 0/0 .sdata           __DSPVersion */
SECTION_SDATA static void* __DSPVersion[1 + 1 /* padding */] = {
    (void*)&lit_1,
    /* padding */
    NULL,
};

/* 80451900-80451908 000E00 0004+04 1/1 0/0 0/0 .sbss            __DSP_init_flag */
static u8 __DSP_init_flag[4 + 4 /* padding */];

/* 803524BC-80352580 34CDFC 00C4+00 0/0 2/2 0/0 .text            DSPInit */
#pragma push
#pragma optimization_level 0
#pragma optimizewithasm off
asm void DSPInit() {
    nofralloc
#include "asm/dolphin/dsp/dsp/DSPInit.s"
}
#pragma pop