typedef struct {
__u32 u[4];
-} __attribute((aligned(16))) vector128;
+} __attribute__((aligned(16))) vector128;
#ifdef __KERNEL__
/*
/* DMA addresses are 32-bits wide */
typedef u32 dma_addr_t;
+#ifdef CONFIG_PHYS_64BIT
+typedef unsigned long long phys_addr_t;
+typedef unsigned long long phys_size_t;
+#else
+typedef unsigned long phys_addr_t;
+typedef unsigned long phys_size_t;
+#endif
+
#endif /* __KERNEL__ */
#endif /* __ASSEMBLY__ */