Symbol: process_cpu_map_event