dma_addr_t definition in /usr/include/asm/types.h and arch/x86/include/asm/types.h from kernel source of RHEL 6 is different

Issue

dma_addr_t definition in  /usr/include/asm/types.h  in Kernel-headers is different from that of kernel source.

================
cat /usr/include/asm/types.h 
================
#ifndef _ASM_X86_TYPES_H
#define _ASM_X86_TYPES_H

#define dma_addr_t      dma_addr_t

#include <asm-generic/types.h>


#endif /* _ASM_X86_TYPES_H */
================

Kernel sources show the correct definition

==============
#ifndef _ASM_X86_TYPES_H
#define _ASM_X86_TYPES_H

#define dma_addr_t      dma_addr_t

#include <asm-generic/types.h>

#ifdef __KERNEL__
#ifndef __ASSEMBLY__

typedef u64 dma64_addr_t;
#if defined(CONFIG_X86_64) || defined(CONFIG_HIGHMEM64G)
/* DMA addresses come in 32-bit and 64-bit flavours. */
typedef u64 dma_addr_t;
#else
typedef u32 dma_addr_t;
#endif

#endif /* __ASSEMBLY__ */
#endif /* __KERNEL__ */

#endif /* _ASM_X86_TYPES_H *
==============