Li, Fei1 e8f3a2d42c hv: use uint64_t replace "unsigned long" ... Since it's typedef in "include/lib/types.h" Tracked-On: #861 Signed-off-by: Li, Fei1 <fei1.li@intel.com>		2018-12-12 13:08:10 +08:00
..
Makefile	hv: Move the strcut acrn_vcpu_regs to public header file	2018-09-29 15:34:02 +08:00
boot.c	hv: use uint64_t replace "unsigned long"	2018-12-12 13:08:10 +08:00
boot.h	hv: mmu: add static paging table allocation for hypervisor	2018-11-02 13:15:48 +08:00
efilinux.h	hv: fix integer violations	2018-11-02 11:05:32 +08:00
malloc.c	Removed dead funcs in EFI stub module	2018-09-19 14:32:02 +08:00
multiboot.h	fix "use of single line comments(s) //"	2018-10-17 16:16:31 +08:00
pe.c	fix "use of single line comments(s) //"	2018-10-17 16:16:31 +08:00
stdlib.h	Removed dead funcs in EFI stub module	2018-09-19 14:32:02 +08:00