freebsd-skq/sys/xen/interface/arch-x86/hvm
..
save.h