Yanyan Shen cbb6bf15d1 arm_hyp: add file to contain hyp mode inline funcs ... machine_pl2.h: new place for hyp mode inline functions. boot.c: replace #ifdef ARM_HYP with config_set(ARM_HYP). vcpu.h, machine_pl2.h: add empty functions when ARM_HYP is not defined to pass compilation.		2016-03-24 12:42:19 +11:00
..
arm	arm_hyp: add file to contain hyp mode inline funcs	2016-03-24 12:42:19 +11:00
x86/arch	SELFOUR-114: remove bootinfo.h duplication	2016-03-01 17:25:22 +11:00