Symbol: HEADER_CPU_DOMAIN_INFO