Cross Reference: reservation.h
xref
: /
seL4-refos-master
/
libs
/
libsel4allocman
/
sel4_arch
/
aarch32
/
allocman
/
sel4_arch
/
reservation.h
Home
History
Annotate
Raw
Download
only in
/seL4-refos-master/libs/libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/
History log of
/seL4-refos-master/libs/libsel4allocman/sel4_arch/aarch32/allocman/sel4_arch/reservation.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
#
6d1e94ff
15-Jan-2016
amrzar <azarrabi@nicta.com.au>
libsel4allocman: update sel4_arch for aarch32