#ifndef METROTRK_PORTABLE_MUTEX_TRK_H
#define METROTRK_PORTABLE_MUTEX_TRK_H

#include "dolphin/types.h"

u8 TRKReleaseMutex();
u8 TRKAcquireMutex();
u8 TRKInitializeMutex();

#endif /* METROTRK_PORTABLE_MUTEX_TRK_H */
