0xffffffffc04ec000