[PATCH] ppc64: make dma_addr_t 64 bits
[powerpc.git] / include / asm-powerpc / cputime.h
1 #include <asm-generic/cputime.h>