original_kernel/include/xen/interface/hvm
..
hvm_op.h
params.h