Searched refs:this_vmcb (Results 1 – 1 of 1) sorted by relevance
1492 paddr_t *this_vmcb = &per_cpu(host_vmcb, cpu); in svm_cpu_dead() local1500 if ( *this_vmcb ) in svm_cpu_dead()1502 free_domheap_page(maddr_to_page(*this_vmcb)); in svm_cpu_dead()1503 *this_vmcb = 0; in svm_cpu_dead()1510 paddr_t *this_vmcb = &per_cpu(host_vmcb, cpu); in svm_cpu_up_prepare() local1528 if ( !*this_vmcb ) in svm_cpu_up_prepare()1535 *this_vmcb = page_to_maddr(pg); in svm_cpu_up_prepare()
Completed in 8 milliseconds