Searched refs:vc_svm_ioio_va (Results 1 – 2 of 2) sorted by relevance
| /openbsd/sys/arch/amd64/include/ |
| H A D | vmmvar.h | 879 vaddr_t vc_svm_ioio_va; member
|
| /openbsd/sys/arch/amd64/amd64/ |
| H A D | vmm_machdep.c | 1624 memset((uint8_t *)vcpu->vc_svm_ioio_va, 0xFF, 3 * PAGE_SIZE); in vcpu_reset_regs_svm()
2833 vcpu->vc_svm_ioio_va = (vaddr_t)km_alloc(3 * PAGE_SIZE, &kv_any, in vcpu_init_svm()
2836 if (!vcpu->vc_svm_ioio_va) { in vcpu_init_svm()
2842 if (!pmap_extract(pmap_kernel(), vcpu->vc_svm_ioio_va, in vcpu_init_svm()
2849 (uint64_t)vcpu->vc_svm_ioio_va, in vcpu_init_svm()
2960 if (vcpu->vc_svm_ioio_va) { in vcpu_deinit_svm()
2961 km_free((void *)vcpu->vc_svm_ioio_va, 3 * PAGE_SIZE, &kv_any, in vcpu_deinit_svm()
2963 vcpu->vc_svm_ioio_va = 0; in vcpu_deinit_svm()
|