Searched refs:max_vpid (Results 1 - 2 of 2) sorted by relevance

/openbsd-current/sys/dev/vmm/
H A Dvmm.h184 uint16_t max_vpid; /* [I] */ member in struct:vmm_softc
/openbsd-current/sys/arch/amd64/amd64/
H A Dvmm_machdep.c324 sc->max_vpid = curcpu()->ci_vmm_cap.vcc_svm.svm_max_asid;
326 sc->max_vpid = 0xFFF;
6650 for (i = 1; i <= sc->max_vpid; i++) {

Completed in 207 milliseconds