0xffffffffc235c000