seL4/libsel4/include/interfaces
bbrcknl cbf25791b7
make method names consistent (#1144)
* make method names consistent; delete duplicates

Signed-off-by: Birg <bbrcknl@github.com>
2024-01-19 14:25:02 +11:00
..
sel4.xml make method names consistent (#1144) 2024-01-19 14:25:02 +11:00