Based on a conversation with Alexei, here is an attempt at condensing all the definitions of helper functions and type shorthands in a single place. I hope that this is helpful! Will Will Hawkins (1): bpf, docs: Formalize type notation and function semantics in ISA standard .../bpf/standardization/instruction-set.rst | 65 ++++++++++++++++++- Documentation/sphinx/requirements.txt | 2 +- 2 files changed, 63 insertions(+), 4 deletions(-) -- 2.40.1