#ifndef _ALLOW_DEVMEM
#define _ALLOW_DEVMEM



int palacios_allow_devmem(void);
int palacios_restore_devmem(void);

#endif