vmm_page_t
vmm_page_t *vrp_map_hold;
vmm_page_t *vr_map_hold;
vmm_page_t **, uint32_t *);
vmm_page_t *vmp = NULL;
vmm_page_t *vhr_head;
vmm_page_t *vhr_tail;
uint16_t *cookie, vmm_page_t **chain, uint32_t *len)
static vmm_page_t *
vmm_page_t *vmp;
vmm_page_t *prev = NULL;
vmm_page_t *vmp;
for (vmm_page_t *vp = vrp->vrp_map_hold; vp != NULL;
vmm_page_t *pages = NULL;
vmm_page_t *pages = NULL, *hdr_pages = NULL;
vmm_page_t *pages = NULL;
vmm_page_t *d_pages;
vmm_page_t *
return ((vmm_page_t *)vmc_hold(lease->vml_vmclient, gpa, prot));
vmm_page_t *
vmm_page_t *page =
(vmm_page_t *)vmc_hold_ext(lease->vml_vmclient, gpa, prot, flags);
vmm_drv_page_release(vmm_page_t *vmmp)
vmm_drv_page_release_chain(vmm_page_t *vmmp)
vmm_drv_page_readable(const vmm_page_t *vmmp)
vmm_drv_page_writable(const vmm_page_t *vmmp)
vmm_drv_page_mark_dirty(vmm_page_t *vmmp)
vmm_drv_page_chain(vmm_page_t *vmmp, vmm_page_t *to_chain)
vmm_page_t *
vmm_drv_page_next(const vmm_page_t *vmmp)
return ((vmm_page_t *)vmp_next((vm_page_t *)vmmp));
extern vmm_page_t *vmm_drv_page_hold(vmm_lease_t *, uintptr_t, int);
extern vmm_page_t *vmm_drv_page_hold_ext(vmm_lease_t *, uintptr_t, int, int);
extern void vmm_drv_page_release(vmm_page_t *);
extern void vmm_drv_page_release_chain(vmm_page_t *);
extern const void *vmm_drv_page_readable(const vmm_page_t *);
extern void *vmm_drv_page_writable(const vmm_page_t *);
extern void vmm_drv_page_mark_dirty(vmm_page_t *);
extern void vmm_drv_page_chain(vmm_page_t *, vmm_page_t *);
extern vmm_page_t *vmm_drv_page_next(const vmm_page_t *);