pmap_wakeup.h   [plain text]

#ifndef __PMAP_WAKEUP_H__
#define __PMAP_WAKEUP_H__

void pmap_wakeup(void);

#endif