/* Returns the number of pages in one single block of a device.  */
uint32_t nand_flash_model_get_block_size_in_pages(const struct nand_flash_model *model)
/* Returns the number of pages in one single block of a device.  */
uint32_t nand_flash_model_get_block_size_in_pages(const struct nand_flash_model *model)
{
	return (model->block_size_in_kilobytes * 1024) /
			model->page_size_in_bytes;
}