Symbol: WIIU_BOOT_VECTOR
sys/arch/evbppc/nintendo/cpu.c
139
memcpy((void *)WIIU_BOOT_VECTOR, cpu_start_code, sizeof(cpu_start_code));
sys/arch/evbppc/nintendo/cpu.c
140
__syncicache((void *)WIIU_BOOT_VECTOR, sizeof(cpu_start_code));