[PATCH 4/4 v2] use resource_size_t for device resources

[Jean-Christophe PLAGNIOL-VILLARD]

Signed-off-by: Jean-Christophe PLAGNIOL-VILLARD <plagnioj at jcrosoft.com>
---
v2:
	remove comment as we fix it
	fix commit subject

Best Regards,
J.
 include/driver.h |    5 ++---
 1 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/include/driver.h b/include/driver.h
index ae3e777..ee0749d 100644
--- a/include/driver.h
+++ b/include/driver.h
@@ -69,12 +69,11 @@ struct device_d {
 	 * something like eth0 or nor0. */
 	int id;
 
-	/*! FIXME */
-	unsigned long size;
+	resource_size_t size;
 
 	/*! For devices which are directly mapped into memory, i.e. NOR
 	 * Flash or SDRAM. */
-	unsigned long map_base;
+	resource_size_t map_base;
 
 	void *platform_data; /*! board specific information about this device */
 
-- 
1.7.1