Searched defs:__vki_kernel_mode_t (Results 1 – 9 of 9) sorted by relevance
39 typedef unsigned short __vki_kernel_mode_t; typedef
39 typedef unsigned int __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