-#define MBOX_READ_REG (*(volatile uint32_t*)(IO_BASE | 0xb880))
-#define MBOX_POLL_REG (*(volatile uint32_t*)(IO_BASE | 0xb890))
-#define MBOX_SENDER_REG (*(volatile uint32_t*)(IO_BASE | 0xb894))
-#define MBOX_STATUS_REG (*(volatile uint32_t*)(IO_BASE | 0xb898))
-#define MBOX_CFG_REG (*(volatile uint32_t*)(IO_BASE | 0xb89c))
-#define MBOX_WRITE_REG (*(volatile uint32_t*)(IO_BASE | 0xb8a0))
-
-#define MBOX_STAT_WRBUSY 0x80000000
-#define MBOX_STAT_RDBUSY 0x40000000
-
-struct vc_fbinfo {
- uint32_t phys_width, phys_height;
- uint32_t virt_width, virt_height;
- uint32_t pitch; /* filled by videocore */
- uint32_t depth;
- uint32_t x, y;
- void *addr; /* filled by videocore */
- uint32_t size; /* filled by videocore */
-};
-
-void mbox_write(int mbox, uint32_t msg);
-uint32_t mbox_read(int mbox);
-
-static struct vc_fbinfo fbinf __attribute__((aligned(16)));
+/* needs to by 16-byte aligned, because the address we send over the mailbox
+ * interface, will have its 4 least significant bits masked off and taken over
+ * by the mailbox id
+ */
+static uint8_t propbuf[64] __attribute__((aligned(16)));