-#ifdef RPI1
-#define IOBASEADDR 0x20000000
-#else
-#define IOBASEADDR 0x3f000000
-#endif
-
-#define phys2bus(addr) ((addr) | 0x40000000)
-#define bus2phys(addr) ((addr) & 0x3fffffff)
-
-#define IOREG_ADDR(x) (IOBASEADDR | (x))
-#define REG_MB_READ *((volatile uint32_t*)IOREG_ADDR(0xb880))
-#define REG_MB_STAT *((volatile uint32_t*)IOREG_ADDR(0xb898))
-#define REG_MB_WRITE *((volatile uint32_t*)IOREG_ADDR(0xb8a0))
-
-#define MB_STAT_FULL 0x80000000
-#define MB_STAT_EMPTY 0x40000000
-
-#define MB_CHAN_FRAMEBUF 1
-#define MB_CHAN_PROP 8
-
-#define PROP_CODE_REQ 0
-#define PROP_RESP_OK 0x80000000
-
-#define PROP_TAG_END 0
-#define PROP_TAG_BLANKSCR 0x40002
-
-int prop_blankscr(int onoff);