#ifndef PR_OS_TLB_H
#define PR_OS_TLB_H

#include "ultratypes.h"

void osMapTLBRdb(void);
void osUnmapTLBAll(void);

#endif