/* Returns the number of pages in the entire device.  */
uint32_t nand_flash_model_get_device_size_in_pages(const struct nand_flash_model *model)
/* Returns the number of pages in the entire device.  */
uint32_t nand_flash_model_get_device_size_in_pages(const struct nand_flash_model *model)
{
	return (uint32_t) nand_flash_model_get_device_size_in_blocks(model) *
			nand_flash_model_get_block_size_in_pages(model);
}