uint64_t vp_assist_gpa;
        void *vp_assist;
 
+       /* Partition assist page */
+       void *partition_assist_hva;
+       uint64_t partition_assist_gpa;
+       void *partition_assist;
+
        /* Enlightened VMCS */
        void *enlightened_vmcs_hva;
        uint64_t enlightened_vmcs_gpa;
 
        hv->vp_assist_hva = addr_gva2hva(vm, (uintptr_t)hv->vp_assist);
        hv->vp_assist_gpa = addr_gva2gpa(vm, (uintptr_t)hv->vp_assist);
 
+       /* Setup of a region of guest memory for the partition assist page. */
+       hv->partition_assist = (void *)vm_vaddr_alloc_page(vm);
+       hv->partition_assist_hva = addr_gva2hva(vm, (uintptr_t)hv->partition_assist);
+       hv->partition_assist_gpa = addr_gva2gpa(vm, (uintptr_t)hv->partition_assist);
+
        /* Setup of a region of guest memory for the enlightened VMCS. */
        hv->enlightened_vmcs = (void *)vm_vaddr_alloc_page(vm);
        hv->enlightened_vmcs_hva = addr_gva2hva(vm, (uintptr_t)hv->enlightened_vmcs);