Received: by 2002:ac0:a5a7:0:0:0:0:0 with SMTP id m36-v6csp425490imm; Tue, 31 Jul 2018 22:11:27 -0700 (PDT) X-Google-Smtp-Source: AAOMgpfdkWa5GdaevGRXpKWKkixJzsC+FykjxvjH2WJjVLRduGqJHS6/F6YffkCmmHVdWCkAvmLl X-Received: by 2002:a62:9f85:: with SMTP id v5-v6mr25257797pfk.27.1533100287650; Tue, 31 Jul 2018 22:11:27 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1533100287; cv=none; d=google.com; s=arc-20160816; b=hCn2/3Wn6pCL9wzefVFWvzERYSzzJi/VRDmcqvJnItoPEBP27YXcKKASD0DK0Dlpoy eLBuL9Yn07JsAsLkpex1ljJX3T/0HbDf6QhIk41Acfc6SB5HLLCWAkKR5FM5qYnfOaEw j8xhfx6TZ7xdReO90sNMYU5xJUj3Bt7/XiKITZYfg9KoGfxhcyiekQgMi42zjhvjJsEN gNlJI/iZ8S77iqgoLvqGGQfBJOpD/LZn08AZcy63j1z9kI2NeNZH865dV2+HsEER/pXk IVyI8qW+d0zK9qBpZS3bhPcFtz+KM7xa1eT4quXNET7iyqqBifgm6yzUTitwCDbWwep5 TILA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:references:in-reply-to:message-id:date :subject:cc:to:from:dkim-signature:dkim-signature :arc-authentication-results; bh=k0TJi9DTpxYrr37CzvISLnppjSJNXrwK4zV65YKVAnk=; b=oNAxtI4r8Sbezqye5PywjaqCPfn+kbxCqTDiMq+Vhn0wWCKsAYiqDHgBGVxZEa+IdL Ex8N3wZ2LztLw9hj9tY8EUgvT/VSSESnMTfaq6U9yJH/fIbNoKsq+AQUEYNKrsF1jhH1 F//x98cvqBKgLt80kWHYCIn7uSujig//HHmO5n2oRAhN2+WhYQ9dB9aVWqRIPrVsQQc8 OzmhV0VKfAt6jmDZKXBoveXT8jtUXy3iHZLxnjvSTQSiW6J+2jdh5yfzYm1IfZboKV7K 6yUrJyUl7VA+agxztsjZeysrSLt7ypnQ+O9g7dF7B3aTXU9reVSPyrgZXHk5AAfXD33X HZeA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@tobin.cc header.s=fm3 header.b=Sy1gryTf; dkim=pass header.i=@messagingengine.com header.s=fm3 header.b=n3WUWVnx; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id f5-v6si18104215pln.414.2018.07.31.22.11.13; Tue, 31 Jul 2018 22:11:27 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@tobin.cc header.s=fm3 header.b=Sy1gryTf; dkim=pass header.i=@messagingengine.com header.s=fm3 header.b=n3WUWVnx; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1733295AbeHAGxx (ORCPT + 99 others); Wed, 1 Aug 2018 02:53:53 -0400 Received: from wout3-smtp.messagingengine.com ([64.147.123.19]:35797 "EHLO wout3-smtp.messagingengine.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1733055AbeHAGxx (ORCPT ); Wed, 1 Aug 2018 02:53:53 -0400 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailout.west.internal (Postfix) with ESMTP id 31905578; Wed, 1 Aug 2018 01:10:09 -0400 (EDT) Received: from mailfrontend2 ([10.202.2.163]) by compute5.internal (MEProxy); Wed, 01 Aug 2018 01:10:09 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tobin.cc; h=cc :date:from:in-reply-to:message-id:references:subject:to :x-me-sender:x-me-sender:x-sasl-enc; s=fm3; bh=k0TJi9DTpxYrr37Cz vISLnppjSJNXrwK4zV65YKVAnk=; b=Sy1gryTfBoKDLPED3uqTI+LNj5ZBwWyXL /bTLay1nTFYjOEHx2ywlvN2a8qSQu29+lm690wB9sjglxp2gFpOEs7sC8WcR53lU OOv+DOzbn37HrytD0mjwDko7sGwNsw+ul+hA6WRCbiIgfiZ5vMFXbYTKLiwOvIug c+JLeMccDYVIvQWpHY6JHQKdkOqODjLE79Jd1rCMb2wgjGSpV/StI+lAkCsBPRto 2c2yrexaxd1l2XVLAOylnTwkwM0itxLouaUyrc/+rQYXEvDoMbL5bIIiblzKTzBh qiojL99fH5X3Bzw27pF32pyzimwYQTxexyAfUvNTCg+2iWogOoSbw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:date:from:in-reply-to:message-id :references:subject:to:x-me-sender:x-me-sender:x-sasl-enc; s= fm3; bh=k0TJi9DTpxYrr37CzvISLnppjSJNXrwK4zV65YKVAnk=; b=n3WUWVnx sYn1tTLXQlqcm4Ne00e22KIEwMgNDpXoKXC1C2PCSIfry+HiJO41TMQKIRtavVO6 2+6sYPKYzTxETtvrfYHm56oORF1x1zFXiEDPKnwp8U1n23yuPlKXVqKcZznfXpoO SxuXDPZ7h7697EhAGs14RA/zygYbBCrwLyd5QhajYTRSNSR+xW9w0/xrVp1LxSp8 XBXwnHUZHYKF57jpYF1fon2tenqyhYV3/c26UVOWL5c3wxQ+yOCE7+uaXwAumVve tDC76D934qR2wEZEDRJcyOqo2+xOE783/5wunyFFrqXolVJU52EDC3urETFy34tE +o+yLx10TKzEVA== X-ME-Proxy: X-ME-Sender: Received: from localhost (124-169-17-12.dyn.iinet.net.au [124.169.17.12]) by mail.messagingengine.com (Postfix) with ESMTPA id 2E72410255; Wed, 1 Aug 2018 01:10:06 -0400 (EDT) From: "Tobin C. Harding" To: Daniel Borkmann , Alexei Starovoitov Cc: "Tobin C. Harding" , Jonathan Corbet , "David S. Miller" , linux-doc@vger.kernel.org, netdev@vger.kernel.org, linux-kernel@vger.kernel.org Subject: [PATCH bpf-next 11/13] docs: net: Use correct RST list construct Date: Wed, 1 Aug 2018 15:09:06 +1000 Message-Id: <20180801050908.29970-12-me@tobin.cc> X-Mailer: git-send-email 2.17.1 In-Reply-To: <20180801050908.29970-1-me@tobin.cc> References: <20180801050908.29970-1-me@tobin.cc> Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Currently we are using a custom list format. We should use the correct standard list construct. Also lists require a newline before and after the list items. Use correct RST list construct. Signed-off-by: Tobin C. Harding --- Documentation/networking/filter.rst | 30 ++++++++++++++++------------- 1 file changed, 17 insertions(+), 13 deletions(-) diff --git a/Documentation/networking/filter.rst b/Documentation/networking/filter.rst index 1ed6972c3544..99dfa74fc4f7 100644 --- a/Documentation/networking/filter.rst +++ b/Documentation/networking/filter.rst @@ -1162,18 +1162,21 @@ arithmetic), and this is tracked in two parts: the 'fixed offset' and 'variable offset'. The former is used when an exactly-known value (e.g. an immediate operand) is added to a pointer, while the latter is used for values which are not exactly known. The variable offset is also used in SCALAR_VALUEs, to track -the range of possible values in the register. -The verifier's knowledge about the variable offset consists of: +the range of possible values in the register. The verifier's knowledge +about the variable offset consists of: + * minimum and maximum values as unsigned * minimum and maximum values as signed * knowledge of the values of individual bits, in the form of a 'tnum': a u64 -'mask' and a u64 'value'. 1s in the mask represent bits whose value is unknown; -1s in the value represent bits known to be 1. Bits known to be 0 have 0 in both -mask and value; no bit should ever be 1 in both. For example, if a byte is read -into a register from memory, the register's top 56 bits are known zero, while -the low 8 are unknown - which is represented as the tnum (0x0; 0xff). If we -then OR this with 0x40, we get (0x40; 0xbf), then if we add 1 we get (0x0; -0x1ff), because of potential carries. + 'mask' and a u64 'value' + +1s in the mask represent bits whose value is unknown; 1s in the value +represent bits known to be 1. Bits known to be 0 have 0 in both mask and +value; no bit should ever be 1 in both. For example, if a byte is read +into a register from memory, the register's top 56 bits are known zero, +while the low 8 are unknown - which is represented as the tnum (0x0; 0xff). +If we then OR this with 0x40, we get (0x40; 0xbf), then if we add 1 we get +(0x0; 0x1ff), because of potential carries. Besides arithmetic, the register state can also be updated by conditional branches. For instance, if a SCALAR_VALUE is compared > 8, in the 'true' branch @@ -1329,10 +1332,11 @@ are concurrently updating. maps can have different types: hash, array, bloom filter, radix-tree, etc. The map is defined by: - . type - . max number of elements - . key size in bytes - . value size in bytes + +- type +- max number of elements +- key size in bytes +- value size in bytes Pruning ======= -- 2.17.1