Symbol: marker_24xx_entry_t