page = alloc_domheap_pages (NULL, VCPU_VHPT_ORDER, 0);
if ( page == NULL ) {
printk("No enough contiguous memory for init_domain_vhpt\n");
-
- return -1;
+ return -ENOMEM;
}
vbase = page_to_virt(page);
memset(vbase, 0, VCPU_VHPT_SIZE);
{
struct page_info *page;
void * vbase;
+ int rc;
- if (init_domain_vhpt(v) != 0)
- return -1;
+ rc = init_domain_vhpt(v);
+ if (rc)
+ return rc;
page = alloc_domheap_pages (NULL, VCPU_VTLB_ORDER, 0);
if ( page == NULL ) {
printk("No enough contiguous memory for init_domain_tlb\n");
free_domain_vhpt(v);
- return -1;
+ return -ENOMEM;
}
vbase = page_to_virt(page);
memset(vbase, 0, VCPU_VTLB_SIZE);
vmx_final_setup_guest(struct vcpu *v)
{
vpd_t *vpd;
+ int rc;
vpd = alloc_vpd();
ASSERT(vpd);
* to this solution. Maybe it can be deferred until we know created
* one as vmx domain */
#ifndef HASH_VHPT
- if (init_domain_tlb(v) != 0)
- return -1;
+ rc = init_domain_tlb(v);
+ if (rc)
+ return rc;
#endif
vmx_create_event_channels(v);