ZYNQ7000_CPU1_ENTRY_SZ
ZYNQ7000_CPU1_ENTRY_SZ, 0, &bsh);
bus_space_unmap(bst, bsh, ZYNQ7000_CPU1_ENTRY_SZ);