b57b3de195
Some checks failed
Compile / kernel (push) Has been cancelled
C Parser / C Parser (push) Has been cancelled
RefMan / Build PDF (push) Has been cancelled
Proof Sync / Code Freeze (push) Has been cancelled
CI / Checks (push) Has been cancelled
Deploy / Freeze Code (push) Has been cancelled
Deploy / Build Matrix (push) Has been cancelled
Trigger / Repository Dispatch (push) Has been cancelled
Proof Sync / Preprocess (push) Has been cancelled
Proof Sync / Preprocess (MCS) (push) Has been cancelled
Proof Sync / Deploy manifest (push) Has been cancelled
Proof Sync / Deploy MCS manifest (push) Has been cancelled
Deploy / Simulation (push) Has been cancelled
Deploy / HW Build (push) Has been cancelled
Deploy / Matrix (push) Has been cancelled
Deploy / HW Run (push) Has been cancelled
Deploy / Deploy manifest (push) Has been cancelled
This is useful for all x86 IOMMU work, which otherwise has to duplicate the definitions of VTD_PT_INDEX_BITS in userspace code. Follow the same pattern as many other existing code in the libsel4 headers where the kernel depends on it. Note we can't define seL4_IOPageTableBits in terms of Index + Entry because the capDL tool does the c-preprocessor to make a YAML file containing the constant, and it won't do evaluation. Signed-off-by: Julia Vassiliki <julia.vassiliki@unsw.edu.au> |
||
|---|---|---|
| .. | ||
| 32/mode | ||
| 64/mode | ||
| api | ||
| arch | ||
| benchmark | ||
| drivers | ||
| fastpath | ||
| kernel | ||
| machine | ||
| model | ||
| object | ||
| plat | ||
| smp | ||
| api.h | ||
| assert.h | ||
| basic_types.h | ||
| bootinfo.h | ||
| compound_types.h | ||
| config.h | ||
| hardware.h | ||
| linker.h | ||
| machine.h | ||
| object.h | ||
| stdarg.h | ||
| stdint.h | ||
| string.h | ||
| types.h | ||
| util.h | ||