Searched refs:free_vmcs (Results 1 - 1 of 1) sorted by relevance
| /netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/drivers/kvm/ | ||
| H A D | vmx.c | 638 static void free_vmcs(struct vmcs *vmcs) function 648 free_vmcs(per_cpu(vmxarea, cpu)); 2091 free_vmcs(vcpu->vmcs); |
Completed in 46 milliseconds