714   def hal_versions(self):  member in Section
715     hal_versions = set()
718         hal_versions.add( (entry.hal_major_version, entry.hal_minor_version) )
720         hal_versions.update(namespace.hal_versions)
721     return hal_versions
917   def hal_versions(self):  member in InnerNamespace
918     hal_versions = set()
920       hal_versions.add( (entry.hal_major_version, entry.hal_minor_version) )
922       hal_versions.update(namespace.hal_versions)
923     return hal_versions
1071 …  optionals=[], hiddens=[], notes={}, sdk_notes={}, ndk_notes={}, ndk_hiddens=[], hal_versions={}):  argument
1076 ….get(val), sdk_notes.get(val), ndk_notes.get(val), val in ndk_hiddens, hal_versions.get(val))     \