mv78xx0_core_index
if (machine_is_terastation_wxl() && mv78xx0_core_index() == 0)
if (mv78xx0_core_index() == 0) {
if (mv78xx0_core_index() == 0)
core_index = mv78xx0_core_index();
int mv78xx0_core_index(void);
orion_gpio_init(0, 32, GPIO_VIRT_BASE, mv78xx0_core_index() ? 0x18 : 0,