l4v
l4v copied to clipboard
consolidate definitions of `tcbs_of'`
We have at least two definitions of tcbs_of/tcbs_of' on the master branch, one in the fast path, one in Invariants_H (for at least some architectures).
We should turn these into one.