L4Re/departure

Annotated libsystypes/opcodes.sh

360:92c5f6aa8c36
2022-06-12 Paul Boddie Reintroduced PagerObject code generation required to initiate servers. mmap-region-flags
paul@268 1
#!/bin/sh
paul@268 2
paul@268 3
THISDIR=`dirname "$0"`
paul@268 4
paul@268 5
grep -o 'opcode([^)]*)' "$THISDIR/idl/"*.idl | cut -d: -f2 | grep -o '[0-9]*' | sort -n -u