Symbol: DOMAIN_DEFAULT
sys/arch/arm/arm32/arm32_kvminit.c
1054
cpu_domains(DOMAIN_DEFAULT);
sys/arch/arm/arm32/arm32_machdep.c
772
cpu_domains(DOMAIN_DEFAULT);