MP
bus_space_write_4(fdtbus_bs_tag, MP, MP_SW_RESET(cpu_num), 0);
.bank_min[0] = ZYNQ_BANK_PIN_MIN(MP, 0),
.bank_max[0] = ZYNQ_BANK_PIN_MAX(MP, 0),
.bank_min[1] = ZYNQ_BANK_PIN_MIN(MP, 1),
.bank_max[1] = ZYNQ_BANK_PIN_MAX(MP, 1),
.bank_min[2] = ZYNQ_BANK_PIN_MIN(MP, 2),
.bank_max[2] = ZYNQ_BANK_PIN_MAX(MP, 2),
.bank_min[3] = ZYNQ_BANK_PIN_MIN(MP, 3),
.bank_max[3] = ZYNQ_BANK_PIN_MAX(MP, 3),
.bank_min[4] = ZYNQ_BANK_PIN_MIN(MP, 4),
.bank_max[4] = ZYNQ_BANK_PIN_MAX(MP, 4),
.bank_min[5] = ZYNQ_BANK_PIN_MIN(MP, 5),
.bank_max[5] = ZYNQ_BANK_PIN_MAX(MP, 5),
is_mio = ZYNQ_PIN_IS_MIO(MP, pin);