vm_page_t
vm_page_t *vmp;
vm_page_t *vmc_hold(vm_client_t *, uintptr_t, int);
vm_page_t *vmc_hold_ext(vm_client_t *, uintptr_t, int, int);
const void *vmp_get_readable(const vm_page_t *);
void *vmp_get_writable(const vm_page_t *);
pfn_t vmp_get_pfn(const vm_page_t *);
void vmp_mark_dirty(vm_page_t *);
void vmp_chain(vm_page_t *, vm_page_t *);
vm_page_t *vmp_next(const vm_page_t *);
bool vmp_release(vm_page_t *);
bool vmp_release_chain(vm_page_t *);
vm_page_t *vmp;
(void) vmp_release((vm_page_t *)copyinfo[idx].cookie);
vm_page_t *vmp;
ptp_release(vm_page_t **vmp)
ptp_hold(struct vm *vm, int vcpu, uintptr_t gpa, size_t len, vm_page_t **vmp)
vm_page_t *cookie = NULL;
(void) vmp_release((vm_page_t *)vmmp);
(void) vmp_release_chain((vm_page_t *)vmmp);
return (vmp_get_readable((const vm_page_t *)vmmp));
return (vmp_get_writable((const vm_page_t *)vmmp));
return (vmp_mark_dirty((vm_page_t *)vmmp));
vmp_chain((vm_page_t *)vmmp, (vm_page_t *)to_chain);
return ((vmm_page_t *)vmp_next((vm_page_t *)vmmp));
list_create(&vmc->vmc_held_pages, sizeof (vm_page_t),
offsetof(vm_page_t, vmp_node));
for (vm_page_t *vmp = list_head(&vmc->vmc_held_pages);
for (vm_page_t *vmp = list_head(&vmc->vmc_held_pages);
vm_page_t *
vm_page_t *vmp;
vm_page_t *
vmp_ptr(const vm_page_t *vmp)
vmp_get_readable(const vm_page_t *vmp)
vmp_get_writable(const vm_page_t *vmp)
vmp_get_pfn(const vm_page_t *vmp)
vmp_mark_dirty(vm_page_t *vmp)
vmp_chain(vm_page_t *vmp, vm_page_t *to_chain)
vm_page_t *
vmp_next(const vm_page_t *vmp)
vmp_release_inner(vm_page_t *vmp, vm_client_t *vmc)
vmp_release(vm_page_t *vmp)
vmp_release_chain(vm_page_t *vmp)
vm_page_t *next = vmp->vmp_chain;
vm_page_t *vmp_chain;