original_kernel/include/xen/interface/hvm
..
dm_op.h
hvm_op.h
hvm_vcpu.h
ioreq.h
params.h
start_info.h