__vaddr_t
typedef unsigned long __vaddr_t;
typedef unsigned long __vaddr_t; /* segments.h */
typedef __uint64_t __vaddr_t;
typedef __uint32_t __vaddr_t;
typedef unsigned long __vaddr_t;
typedef unsigned long __vaddr_t;