0xffffffffc07ef000