0xffffffffc0faf000