0xffffffffc0b42000