| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | 16-Nov-2021 | - | ||||
| L4API-l4f/ | 16-Nov-2021 | - | ||||
| __kip-arch.h | A D | 16-Nov-2021 | 897 | 22 | 3 | |
| __vcpu-arch.h | A D | 16-Nov-2021 | 2.3 KiB | 77 | 36 | |
| cache.h | A D | 16-Nov-2021 | 1.8 KiB | 74 | 44 | |
| consts.h | A D | 16-Nov-2021 | 1.6 KiB | 46 | 6 | |
| ipc-invoke.h | A D | 16-Nov-2021 | 3.1 KiB | 94 | 26 | |
| ktrace_events.h | A D | 16-Nov-2021 | 9.2 KiB | 284 | 279 | |
| l4int.h | A D | 16-Nov-2021 | 1.3 KiB | 39 | 5 | |
| linkage.h | A D | 16-Nov-2021 | 1.5 KiB | 50 | 14 | |
| segment.h | A D | 16-Nov-2021 | 4 KiB | 116 | 44 | |
| utcb.h | A D | 16-Nov-2021 | 4.2 KiB | 148 | 72 | |
| vm.h | A D | 16-Nov-2021 | 1 KiB | 28 | 3 |