Searched refs:__vki_kernel_caddr_t (Results 1 – 11 of 11) sorted by relevance
51 typedef char * __vki_kernel_caddr_t; typedef
57 typedef char * __vki_kernel_caddr_t; typedef
49 typedef char * __vki_kernel_caddr_t; typedef
62 typedef char * __vki_kernel_caddr_t; typedef
198 typedef __vki_kernel_caddr_t vki_caddr_t;
226 typedef char * __vki_kernel_caddr_t;