seL4/include/plat/tk1
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
..
plat Remove arch/machine.h include from statedata.h 2016-10-21 12:05:02 +11:00
autoconf.h arm-hyp: Minor cleanups 2016-06-06 11:51:58 +10:00