History log of /seL4-test-master/projects/seL4_libs/libsel4utils/sel4_arch_include/x86_64/sel4utils/sel4_arch/util.h
Revision Date Author Comments
# 135c651f 27-Sep-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

pragma once and for all
# 9214341c 04-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Fix licenses
# 0f8b16a2 23-Mar-2016 Adrian Danis <Adrian.Danis@nicta.com.au>

libsel4utils: Splitting x86 into ia32 and x86_64 portions

This generalizes various utilities and helper routines as well as
generalizing the mapping code allowing for easy x86_64 support