Yanyan Shen 3abf177c5b 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-03 13:49:45 +11:00
..
arm	arm_hyp: add file to contain hyp mode inline funcs	2016-03-03 13:49:45 +11:00
x86/arch	x86: Refactor vspace code to have verification friendly invocations	2016-02-17 09:43:54 +11:00