#define REALPTR(s, o) (void*)(((uint32_t)(s) << 4) + (uint32_t)(o))
#define VBEPTR(x) REALPTR(((x) & 0xffff0000) >> 16, (x) & 0xffff)
#define REALPTR(s, o) (void*)(((uint32_t)(s) << 4) + (uint32_t)(o))
#define VBEPTR(x) REALPTR(((x) & 0xffff0000) >> 16, (x) & 0xffff)