/**
 * @file tlb.h
 * @brief Header file for tlb.c
 * 
 */

#ifndef _TLB_H_
#define _TLB_H_

void init_tlb (void);

#endif /* _TLB_H_ */