0xffffffffc23de000