From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-pl1-f176.google.com (mail-pl1-f176.google.com [209.85.214.176]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id E872413DB9B for ; Fri, 17 May 2024 17:16:35 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.214.176 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1715966197; cv=none; b=ZJFau0TjG27x586x7Bo9pNSsvc2Zkzj5zuJieqRw2X6VGcJXDv17RQvKPdjZRc04KThR+LIit2oSl3Hoc75McmUcnEtQwsHlvc/Xr+/lQ4a/ds6Aop7QZ44OMF5jXXqc6CvLcWo1btbruOt3aDjsJvHQxoIPlW8Bzbl5385VD4E= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1715966197; c=relaxed/simple; bh=GTRLCZPO5nYxEY6ZwQLaYR7Z7asMqP06IyUffGW8L1w=; h=From:To:Cc:References:In-Reply-To:Subject:Date:Message-ID: MIME-Version:Content-Type; b=AXJK3e98d31hHdIxn08hYqY3JmJ4XcPorIm490hEso1THuXX5TaUblAmliUHQwD5Os+Zn4COqiFEZ9IBnvOy6LRYDXj72mXGRC2STpAZhoXf6+CuRF5Y7GFVEXfzsMRIdbCH7oI8K9L1tS/l+XFj/BD3QfQueVV5RXsIV7uVWak= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=googlemail.com; spf=pass smtp.mailfrom=googlemail.com; dkim=pass (2048-bit key) header.d=googlemail.com header.i=@googlemail.com header.b=B+IMB02s; arc=none smtp.client-ip=209.85.214.176 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=googlemail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=googlemail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=googlemail.com header.i=@googlemail.com header.b="B+IMB02s" Received: by mail-pl1-f176.google.com with SMTP id d9443c01a7336-1ed96772f92so15513485ad.0 for ; Fri, 17 May 2024 10:16:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20230601; t=1715966195; x=1716570995; darn=vger.kernel.org; h=thread-index:content-language:content-transfer-encoding :mime-version:message-id:date:subject:in-reply-to:references:cc:to :from:from:to:cc:subject:date:message-id:reply-to; bh=BnExOqV+7uRXHFu/y7RSrNtAFBzF2jJxaME1kcwkiDw=; b=B+IMB02sqP4m/qkDUuERbyl+rD8ZTeHKuG/C1AN2pO/LxpXRkwQNk9ZlqBdXX0aQMA qyOfRDr0CucF2c9B1z1r/IsLp9oUMak/dui0lOoPX65fzM6ThPkWx02A5LM7/QglX3Yi U8ZzJ4Gq0kzt/p7WKqxV2PmSqVnaSLtdfmuyVjbYIfgzwvHgCMXlhnX0E7HPyYWX+d9O fUPXr3pN1k0SCknfg6T3Q5RGPgQJc8gb30BsfSKlVJ5MYuPDDDA2s8TDjratUqKYVtjD GM+EYOuo+ypqxE8Vzh7ZYSkOwZN5Epf11maeVvLxsgGgEju/rpx0HTJQ9z+PDahjT2KE xypw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1715966195; x=1716570995; h=thread-index:content-language:content-transfer-encoding :mime-version:message-id:date:subject:in-reply-to:references:cc:to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=BnExOqV+7uRXHFu/y7RSrNtAFBzF2jJxaME1kcwkiDw=; b=j1vLreyUodFnruGkEtYY1aqltwk4+rkvz83RbnOS2A8Optf4IhV2NJSUKv47iZuzjX 3l07KjyWvbYt/mUZ/hqnjF/xyVMqkJCd/CHb8lntKHVKEwlf0wxnXt9ZU1AOURxFYm0/ mUufBF1GlG2WYaMxOwVf4UUw3+7Tjwu+1t4+EBekPqxhPwxe7MvovS/c2HpKPOpy+dDC aXhPVrfKsyquSLkSJAxdTVDWABdPxpMDP6BpwdpVSFPyumg4dvvNNBeCyWUEzCbZWQwf aVGKG+pENG6/fimZImYpRlwV24GauCoawmWVAbo0wTeWNXjI3EZTZpS0FutDi6rFmJZA Iqqw== X-Forwarded-Encrypted: i=1; AJvYcCVyAQ7r2WVxN+zeku2DqPEfRB4eeILAHSTaKh8fgTEXeGjswR+bzKvio+G/G5zf5lU1EVix554l9D4tNmG5zk+nScI+ X-Gm-Message-State: AOJu0YzdNQ3St8hTKer66a8RCrgOtexA0zIPo/qMQmiWwkE3vYlCT3XK S47Oqi+r23RzDwp0e6cd6LcdLMkqw/goA2Pqps7OKAru/Ov5KGMwllFJ/g== X-Google-Smtp-Source: AGHT+IGpjVtNLxkEf8zt1iFoHwywFhxbIYluUtfkvFJ0mJcM41xIhJ56sgOXLjB4ZF9DoAbBCT3Mpw== X-Received: by 2002:a17:903:2404:b0:1e2:c8f9:4cd7 with SMTP id d9443c01a7336-1ef44059612mr184043395ad.64.1715966195176; Fri, 17 May 2024 10:16:35 -0700 (PDT) Received: from ArmidaleLaptop (c-67-170-74-237.hsd1.wa.comcast.net. [67.170.74.237]) by smtp.gmail.com with ESMTPSA id d9443c01a7336-1ef0bf31420sm159465345ad.172.2024.05.17.10.16.33 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 17 May 2024 10:16:34 -0700 (PDT) From: dthaler1968@googlemail.com X-Google-Original-From: To: "'Dave Thaler'" , Cc: References: <20240517165855.4688-1-dthaler1968@gmail.com> In-Reply-To: <20240517165855.4688-1-dthaler1968@gmail.com> Subject: RE: [PATCH bpf-next] bpf, docs: Use RFC 2119 language for ISA requirements Date: Fri, 17 May 2024 10:16:32 -0700 Message-ID: <05d601daa87d$f7a3daa0$e6eb8fe0$@gmail.com> Precedence: bulk X-Mailing-List: bpf@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit X-Mailer: Microsoft Outlook 16.0 Content-Language: en-us Thread-Index: AQMNxtSz5Xxdo4l4z3k03OfsZBHpa681bcTw [...] > Platforms that support the BPF Type Format (BTF) support identifying a helper > function by a BTF ID encoded in the 'imm' field, where the BTF ID -identifies the > helper name and type. > +identifies the helper name and type. Further documentation of BTF is > +outside the scope of this document and is left for future work. Perhaps we should informatively reference https://www.kernel.org/doc/html/latest/bpf/btf.html for now? Dave From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail.ietf.org (mail.ietf.org [50.223.129.194]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 1F16413DBAC for ; Fri, 17 May 2024 17:16:52 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=50.223.129.194 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1715966214; cv=none; b=twBKjxnHxxnYZHgrMfPvb9HxwRdom45MkJELgfv8WlraPoCwiGRQgeyl7ulTV8dnw2FdfCFjM6ZFKoJubauPUGmZPhJjjlupUrjQPjzC1Fbun1mzR61jbrXl4fQatM9JcGWoLVoAbRKMXQay23zNDXQ5usvcUr4f7y+2qKH6OCA= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1715966214; c=relaxed/simple; bh=NhDDO7dXiqQJB+jJAel1zgsMjyNqf1hpJEh6ag2VeO0=; h=To:References:In-Reply-To:Date:Message-ID:MIME-Version:CC:Subject: Content-Type:From; b=eBLMlc1L1qH/9xIs1I4SV+ciIwNK+qGQkMspMNQp3ZSNGCHEIKDEmH+yisbVG8LgdiNXjVNKOJauGUNdF4INu6dTKQ3LNlAgfJclLX/dw4n+MxK4t41dknoFu6NkDuW8tAV8Utv1hP+3VLAtQ1tjX9jGw9+T9Fg8SJqJPo/T0Zo= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=dmarc.ietf.org; spf=pass smtp.mailfrom=ietf.org; dkim=pass (1024-bit key) header.d=ietf.org header.i=@ietf.org header.b=bZWIi4y+; dkim=fail (1024-bit key) header.d=ietf.org header.i=@ietf.org header.b=YnvUmkY8 reason="signature verification failed"; dkim=fail (2048-bit key) header.d=googlemail.com header.i=@googlemail.com header.b=h0kfOKvp reason="signature verification failed"; arc=none smtp.client-ip=50.223.129.194 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=dmarc.ietf.org Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=ietf.org Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=ietf.org header.i=@ietf.org header.b="bZWIi4y+"; dkim=fail reason="signature verification failed" (1024-bit key) header.d=ietf.org header.i=@ietf.org header.b="YnvUmkY8"; dkim=fail reason="signature verification failed" (2048-bit key) header.d=googlemail.com header.i=@googlemail.com header.b="h0kfOKvp" Received: from ietfa.amsl.com (localhost [IPv6:::1]) by ietfa.amsl.com (Postfix) with ESMTP id 84346C169407 for ; Fri, 17 May 2024 10:16:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1; t=1715966212; bh=NhDDO7dXiqQJB+jJAel1zgsMjyNqf1hpJEh6ag2VeO0=; h=To:References:In-Reply-To:Date:CC:Subject:List-Id:List-Archive: List-Help:List-Owner:List-Post:List-Subscribe:List-Unsubscribe: From; b=bZWIi4y+69qUbosuqDQG8z7PXTL733YIP14UoEPYbYLeQBYChkny8EyIB+z9CArpN 3hG9hwGW+KgHIIIBHxztFV/G5SOtVnRV2wDNBeeuSZ9dkt6sdVvWEKaIaj0l1fb2NA NKtYRnXVlvsTe1iQr8KTDILzYrru277+QOnFkrEc= Received: from ietfa.amsl.com (localhost [IPv6:::1]) by ietfa.amsl.com (Postfix) with ESMTP id C9CBEC1D5C76 for ; Fri, 17 May 2024 10:16:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=ietf.org; s=ietf1; t=1715966211; bh=NhDDO7dXiqQJB+jJAel1zgsMjyNqf1hpJEh6ag2VeO0=; h=From:To:References:In-Reply-To:Date:CC:Subject:List-Id: List-Archive:List-Help:List-Owner:List-Post:List-Subscribe: List-Unsubscribe; b=YnvUmkY8OH7bZHVtG/tVcycyNswXqUK7dXkCGHzHTVu1LhjJGKszIsqWLIbUPgY+O 44YPsFDHaJowaBiNu5UGsRg+5y14An9lVSOhxeAB3kiBqW4NAzyTNJ7Njoe/h1DJPR w4umJ8+cPjcX5hvtf6aTYaOpaiI17ZoqtJ7N/B+Y= Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 35709C151094 for ; Fri, 17 May 2024 10:16:40 -0700 (PDT) X-Virus-Scanned: amavisd-new at amsl.com X-Spam-Flag: NO X-Spam-Score: -1.845 X-Spam-Level: Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (2048-bit key) header.d=googlemail.com Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id NkTFR4a9bOOq for ; Fri, 17 May 2024 10:16:36 -0700 (PDT) Received: from mail-pl1-x62a.google.com (mail-pl1-x62a.google.com [IPv6:2607:f8b0:4864:20::62a]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 64200C151993 for ; Fri, 17 May 2024 10:16:36 -0700 (PDT) Received: by mail-pl1-x62a.google.com with SMTP id d9443c01a7336-1ed96772f92so15513615ad.0 for ; Fri, 17 May 2024 10:16:36 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20230601; t=1715966195; x=1716570995; darn=ietf.org; h=thread-index:content-language:content-transfer-encoding :mime-version:message-id:date:subject:in-reply-to:references:cc:to :from:from:to:cc:subject:date:message-id:reply-to; bh=BnExOqV+7uRXHFu/y7RSrNtAFBzF2jJxaME1kcwkiDw=; b=h0kfOKvp+duPClAluw+LS1+QnzYc5KoFsHEggTqAZP/8qjdxrgSc5g46LEAgBLDmGW I6ppnevBOpa7F9wnfWA7sL1t70CI0mksgHuOAjcimMVuNTYDpuz55vlijyUx1XNwYzzy 3tE2e2IYS6pPYoc/1ITgflVfRSrXDyMK17brd0mCtGsU6BmxQ3UdUwlCM6kVFCCiSqvP iPlh61f3pT+dYHY/oRwdI405cCpoamI66spML9gcJzhwrFGyIa1Csm4Rw/zO55Z6Fve4 P6ts84YZhuZia8LRuufAGWDlUZ8SqoNc83F9HTPdnCmiaR9mh5Fn5bjz0u84fMC4lFzf U/Vw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1715966195; x=1716570995; h=thread-index:content-language:content-transfer-encoding :mime-version:message-id:date:subject:in-reply-to:references:cc:to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=BnExOqV+7uRXHFu/y7RSrNtAFBzF2jJxaME1kcwkiDw=; b=J+EvKGkYj6iYcjaDOlsKz2W3KlLS8RelHZgEhn65vakcudttAros5Rnm+XbxIM/eeV m5ryhrtzzSvKYmNrr0G1bQ/7+mzGNBGAt2rJQBn9y2a4gVdqrz31awxSX4KiSrNbaGb0 7+nHricXWhq10U3ELuu9FexmlPcVTs8sTw8J/QtIz/u7S/bIoFJVBiFSatueDHiH/9lL +2BRPqPOO2Y8mHD+qP3VGWAluGYMOmDXHYdmDy857HEFB9TqtCHwYUUJRx4oigJcJIN+ wo8/VFkPnoc/wNo0S32hbtK6EoKkBm6RuwTgGyv9LE5HDr1EXDIbDkPB85QrPaf7VEUz AxfQ== X-Gm-Message-State: AOJu0YzTdiEDoufH4pyQJn/iolTAMsA61JeNzCY7xYuDSYsCc/1AP7Tn 7SQY8y6byyps7XOxuV5Os6I8b2b+B1IkEJPmQGrsFjLIUVTYfBJFXXyJRg== X-Google-Smtp-Source: AGHT+IGpjVtNLxkEf8zt1iFoHwywFhxbIYluUtfkvFJ0mJcM41xIhJ56sgOXLjB4ZF9DoAbBCT3Mpw== X-Received: by 2002:a17:903:2404:b0:1e2:c8f9:4cd7 with SMTP id d9443c01a7336-1ef44059612mr184043395ad.64.1715966195176; Fri, 17 May 2024 10:16:35 -0700 (PDT) Received: from ArmidaleLaptop (c-67-170-74-237.hsd1.wa.comcast.net. [67.170.74.237]) by smtp.gmail.com with ESMTPSA id d9443c01a7336-1ef0bf31420sm159465345ad.172.2024.05.17.10.16.33 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 17 May 2024 10:16:34 -0700 (PDT) X-Google-Original-From: To: "'Dave Thaler'" , References: <20240517165855.4688-1-dthaler1968@gmail.com> In-Reply-To: <20240517165855.4688-1-dthaler1968@gmail.com> Date: Fri, 17 May 2024 10:16:32 -0700 Message-ID: <05d601daa87d$f7a3daa0$e6eb8fe0$@gmail.com> Precedence: bulk X-Mailing-List: bpf@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 X-Mailer: Microsoft Outlook 16.0 Content-Language: en-us Thread-Index: AQMNxtSz5Xxdo4l4z3k03OfsZBHpa681bcTw Message-ID-Hash: JFKLYMP7RLZWFPSEDFF4MPEM3EWO5P2U X-Message-ID-Hash: JFKLYMP7RLZWFPSEDFF4MPEM3EWO5P2U X-MailFrom: dthaler1968@googlemail.com X-Mailman-Rule-Misses: dmarc-mitigation; no-senders; approved; emergency; loop; banned-address; member-moderation; nonmember-moderation; administrivia; implicit-dest; max-recipients; max-size; news-moderation; no-subject; digests; suspicious-header CC: bpf@ietf.org X-Mailman-Version: 3.3.9rc4 Precedence: list Subject: =?utf-8?q?=5BBpf=5D_Re=3A_=5BPATCH_bpf-next=5D_bpf=2C_docs=3A_Use_RFC_2119_l?= =?utf-8?q?anguage_for_ISA_requirements?= Archived-At: List-Archive: List-Help: List-Owner: List-Post: X-Mailman-Copy: yes Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 X-Original-From: dthaler1968@googlemail.com From: dthaler1968=40googlemail.com@dmarc.ietf.org Message-ID: <20240517171632.81Cc_ltHuviDVACcuPYKLwDnTdUaliRwZI-H8mc_wQU@z> Wy4uLl0NCj4gIFBsYXRmb3JtcyB0aGF0IHN1cHBvcnQgdGhlIEJQRiBUeXBlIEZvcm1hdCAoQlRG KSBzdXBwb3J0IGlkZW50aWZ5aW5nICBhDQpoZWxwZXINCj4gZnVuY3Rpb24gYnkgYSBCVEYgSUQg ZW5jb2RlZCBpbiB0aGUgJ2ltbScgZmllbGQsIHdoZXJlIHRoZSBCVEYgSUQNCi1pZGVudGlmaWVz IHRoZQ0KPiBoZWxwZXIgbmFtZSBhbmQgdHlwZS4NCj4gK2lkZW50aWZpZXMgdGhlIGhlbHBlciBu YW1lIGFuZCB0eXBlLiAgRnVydGhlciBkb2N1bWVudGF0aW9uIG9mIEJURiBpcw0KPiArb3V0c2lk ZSB0aGUgc2NvcGUgb2YgdGhpcyBkb2N1bWVudCBhbmQgaXMgbGVmdCBmb3IgZnV0dXJlIHdvcmsu DQoNClBlcmhhcHMgd2Ugc2hvdWxkIGluZm9ybWF0aXZlbHkgcmVmZXJlbmNlDQpodHRwczovL3d3 dy5rZXJuZWwub3JnL2RvYy9odG1sL2xhdGVzdC9icGYvYnRmLmh0bWwgZm9yIG5vdz8NCg0KRGF2 ZQ0KDQotLSAKQnBmIG1haWxpbmcgbGlzdCAtLSBicGZAaWV0Zi5vcmcKVG8gdW5zdWJzY3JpYmUg c2VuZCBhbiBlbWFpbCB0byBicGYtbGVhdmVAaWV0Zi5vcmcK