seL4/include/model
Adrian Danis 63649f2636 Remove arch/machine.h include from statedata.h
statedata.h gets included from arch/machine.h, and statedata
does not require any of the machine.h definitions.

As a result of removing this various other, previously missing,
includes need to be added
2016-10-21 12:05:02 +11:00
..
preemption.h Release snapshot 2014-07-18 05:03:59 +10:00
smp.h Replace #pragma once with include guards 2016-10-21 12:05:02 +11:00
statedata.h Remove arch/machine.h include from statedata.h 2016-10-21 12:05:02 +11:00