//
// Generated by dtk
// Translation Unit: JASKernelDebug.cpp
//

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

/* 8027D6B8-8027D6F4       .text stackInit__Q28JASystem6KernelFPUxUl */
void JASystem::Kernel::stackInit(unsigned long long*, unsigned long) {
    /* Nonmatching */
}