/* Returns the size of the whole device in bytes (this does not include the size of the spare zones).  */
uint64_t nand_flash_model_get_device_size_in_bytes(const struct nand_flash_model *model)
/* Returns the size of the whole device in bytes (this does not include the size of the spare zones).  */
uint64_t nand_flash_model_get_device_size_in_bytes(const struct nand_flash_model *model)
{
	return ((uint64_t) model->device_size_in_megabytes) << 20;
}