0xffffffffc947c000