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
79 static inline int get_arch_reserved_keys(void) in get_arch_reserved_keys() function
146 static inline int get_arch_reserved_keys(void) in get_arch_reserved_keys() function