Searched defs:get_arch_reserved_keys (Results 1 – 3 of 3) sorted by relevance
83 static inline int get_arch_reserved_keys(void) in get_arch_reserved_keys() function
78 static inline int get_arch_reserved_keys(void) in get_arch_reserved_keys() function
144 static inline int get_arch_reserved_keys(void) in get_arch_reserved_keys() function