vmxon_region
ci->ci_vmxon_region = (struct vmxon_region *)malloc(PAGE_SIZE,
struct vmxon_region *ci_vmxon_region;