sanitize.h

#pragma once
 
#include <stdint.h>
#include "runtime.h"
 
#ifdef NDEBUG
#   define sanitize_psp(psp)
#else
 
void sanitize_psp(uint32_t * psp);
 
#endif
 
#ifdef NDEBUG
#define sanitize_psp_for_thread(psp, thread_id)
#else
 
void sanitize_psp_for_thread(uint32_t * psp, Thread_t thread_id);
 
#endif