vmm_lease_t
vmm_lease_t *vr_lease;
list_create(&sc->vmm_lease_list, sizeof (vmm_lease_t),
offsetof(vmm_lease_t, vml_node));
vmm_lease_t *
vmm_lease_t *lease;
vmm_lease_break_locked(vmm_softc_t *sc, vmm_lease_t *lease)
vmm_lease_t *lease = list_head(list);
vmm_lease_t *next;
vmm_lease_t *next = list_next(list, lease);
vmm_drv_lease_break(vmm_hold_t *hold, vmm_lease_t *lease)
vmm_drv_lease_expired(vmm_lease_t *lease)
vmm_drv_page_hold(vmm_lease_t *lease, uintptr_t gpa, int prot)
vmm_drv_page_hold_ext(vmm_lease_t *lease, uintptr_t gpa, int prot, int flags)
vmm_drv_msi(vmm_lease_t *lease, uint64_t addr, uint64_t msg)
extern vmm_lease_t *vmm_drv_lease_sign(vmm_hold_t *, boolean_t (*)(void *),
extern void vmm_drv_lease_break(vmm_hold_t *, vmm_lease_t *);
extern boolean_t vmm_drv_lease_expired(vmm_lease_t *);
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 int vmm_drv_msi(vmm_lease_t *, uint64_t, uint64_t);