0xffffffffc1def000