};
#define FAKE_UBER64(addr32) { (uint32_t) (addr32), KERNEL_UBER_BASE_HI32 }
#define FAKE_COMPAT(addr32) { (uint32_t) (addr32), 0x0 }
};
#define FAKE_UBER64(addr32) { (uint32_t) (addr32), KERNEL_UBER_BASE_HI32 }
#define FAKE_COMPAT(addr32) { (uint32_t) (addr32), 0x0 }