History log of /seL4-refos-master/projects/seL4_libs/libsel4vspace/src/sel4_arch/x86_64/mapping.c
Revision Date Author Comments
# ca452fda 16-Apr-2018 Anna Lyons <Anna.Lyons@data61.csiro.au>

vspace: add mapping abstraction

This commit provides a mapping object which can be obtained for any
architecture and used to map paging structures based on the number of
bits left to resolve in an address.