0xffffffffc0d42000