Transform 'u16' to 'uint16_t'
[fw/openocd] / ecosflash / flash.map
2008-02-28 oharboeeCos flash driver.