0xffffffffc0abf000