sandbox: config: Don't use 64-bit physical memory
[karo-tx-uboot.git] / arch / sandbox / include / asm / types.h
index 88c84ba..6d3eb1f 100644 (file)
@@ -48,8 +48,8 @@ typedef unsigned long long u64;
 #define BITS_PER_LONG  CONFIG_SANDBOX_BITS_PER_LONG
 
 typedef unsigned long dma_addr_t;
-typedef unsigned long phys_addr_t;
-typedef unsigned long phys_size_t;
+typedef u32 phys_addr_t;
+typedef u32 phys_size_t;
 
 #endif /* __KERNEL__ */