#ifndef __PMAP_WAKEUP_H__
#define __PMAP_WAKEUP_H__

void pmap_wakeup(void);

#endif