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> |
||
|---|---|---|
| .. | ||
| aarch32 | ||
| aarch64 | ||
| ia32 | ||
| riscv32 | ||
| riscv64 | ||
| x86_64 | ||
| arm_hyp | ||