seL4/include/arch
Adrian Danis 7c08bc25e9 Remove include of basic_types
arm/arch/types.h does not require any definitions from basic_types
(other than those from stdint, which is already directly included)
2016-10-21 12:05:02 +11:00
..
arm Remove include of basic_types 2016-10-21 12:05:02 +11:00
x86/arch Replace #pragma once with include guards 2016-10-21 12:05:02 +11:00