flash: use correct device_id mask
authorSpencer Oliver <spen@spen-soft.co.uk>
Mon, 9 Jan 2012 12:42:31 +0000 (12:42 +0000)
committerSpencer Oliver <spen@spen-soft.co.uk>
Thu, 12 Jan 2012 20:42:40 +0000 (20:42 +0000)
commitad0847ca38e4c9d7ea0051ac7718afd3aa61868e
tree5024ea4f6cd92776416d57fb3a829ce03b485d95
parentafe95871c59f05d532529af84e1ee80e3845e923
flash: use correct device_id mask

The stm32 drivers have been using 0x7ff as the DEV_ID mask, this should
have been 0xfff.

Change-Id: I232469620969d6dd1b9a2a2aa15ec18b947dbb05
Signed-off-by: Spencer Oliver <spen@spen-soft.co.uk>
Reviewed-on: http://openocd.zylin.com/352
Tested-by: jenkins
Reviewed-by: Andreas Fritiofson <andreas.fritiofson@gmail.com>
src/flash/nor/stm32f1x.c
src/flash/nor/stm32f2x.c
src/flash/nor/stm32lx.c