HomeSort by: relevance | last modified time | path
    Searched defs:hcpu (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/dev/nvmm/x86/
nvmm_x86_svm.c 1496 svm_gtlb_catchup(struct nvmm_cpu *vcpu, int hcpu)
1500 if (vcpu->hcpu_last != hcpu || cpudata->shared_asid) {
1506 svm_htlb_catchup(struct nvmm_cpu *vcpu, int hcpu)
1510 * executing on this hCPU and the hTLB already got flushed, or it
1511 * was executing on another hCPU in which case the catchup is done
1561 int hcpu; local in function:svm_vcpu_run
1571 hcpu = cpu_number();
1573 svm_gtlb_catchup(vcpu, hcpu);
1574 svm_htlb_catchup(vcpu, hcpu);
1576 if (vcpu->hcpu_last != hcpu) {
    [all...]
nvmm_x86_vmx.c 2143 vmx_gtlb_catchup(struct nvmm_cpu *vcpu, int hcpu)
2147 if (vcpu->hcpu_last != hcpu) {
2153 vmx_htlb_catchup(struct nvmm_cpu *vcpu, int hcpu)
2158 if (__predict_true(!kcpuset_isset(cpudata->htlb_want_flush, hcpu))) {
2165 kcpuset_clear(cpudata->htlb_want_flush, hcpu);
2234 int hcpu, ret; local in function:vmx_vcpu_run
2248 hcpu = cpu_number();
2251 vmx_gtlb_catchup(vcpu, hcpu);
2252 vmx_htlb_catchup(vcpu, hcpu);
2254 if (vcpu->hcpu_last != hcpu) {
    [all...]

Completed in 14 milliseconds