Searched defs:__vki_kernel_mode_t (Results 1 – 10 of 10) sorted by relevance
39 typedef unsigned int __vki_kernel_mode_t; typedef
40 typedef unsigned int __vki_kernel_mode_t; typedef
39 typedef unsigned short __vki_kernel_mode_t; typedef
41 typedef unsigned int __vki_kernel_mode_t; typedef
55 typedef unsigned int __vki_kernel_mode_t; typedef
34 typedef unsigned int __vki_kernel_mode_t; typedef