Searched defs:__vaddr_t (Results 1 – 4 of 4) sorted by relevance
46 typedef unsigned long __vaddr_t; typedef67 typedef unsigned long __vaddr_t; typedef
65 typedef __uint64_t __vaddr_t; typedef67 typedef __uint32_t __vaddr_t; typedef
52 typedef unsigned long __vaddr_t; typedef
45 typedef unsigned long __vaddr_t; /* segments.h */ typedef