/********************************************/
/*PMP.h - Header file                  */
/*PIC32MX795F512L-80I/PF                    */
/********************************************/

#ifndef PMP_H
#define	PMP_H

void PMP_Init(void);

#endif /*PMP_H*/