In the header file uc3a0512.h there is a constant for the flash controller defined as:
#define AVR32_FLASHC_FLASH_SIZE 524288
which is equal to 512 * 1024 -- all well and good.
In the related header file uc3a0256.h the same definition shows up as:
#define AVR32_FLASHC_FLASH_SIZE 256
It is my considered opinion that these two usages are not consistent and therefore one of them is wrong. Which is the correct usage?