Searched refs:guest_paddr (Results 1 - 4 of 4) sorted by relevance
/barrelfish-2018-10-04/lib/virtio/ |
H A D | virtqueue_host.c | 37 lpaddr_t guest_paddr; member in struct:vring_mem_info 153 if (meminfo->guest_paddr < vq->mem->guest_paddr) { 154 assert((meminfo->guest_paddr+meminfo->size) < vq->mem->guest_paddr); 163 if (meminfo->guest_paddr < current->guest_paddr) { 164 assert((meminfo->guest_paddr+meminfo->size) < current->guest_paddr); 179 if (mi->guest_paddr > guest_phy [all...] |
/barrelfish-2018-10-04/usr/vmkitmon/ |
H A D | guest.h | 522 alloc_guest_mem(struct guest *g, lvaddr_t guest_paddr, size_t bytes);
|
H A D | guest.c | 217 alloc_guest_mem(struct guest *g, lvaddr_t guest_paddr, size_t bytes) argument 224 assert(guest_paddr + bytes <= g->mem_high_va); 242 err = guest_vspace_map_wrapper(&g->vspace, guest_paddr, cap, bytes); 259 err = vspace_map_wrapper(guest_to_host(guest_paddr), host_cap, bytes);
|
/barrelfish-2018-10-04/usr/arrakismon/ |
H A D | guest.c | 165 alloc_guest_mem(struct guest *g, lvaddr_t guest_paddr, size_t bytes) argument 172 assert(guest_paddr + bytes <= g->mem_high_va); 186 err = guest_vspace_map_wrapper(g->vspace, guest_paddr, cap, bytes); 203 err = vspace_map_wrapper(guest_to_host(guest_paddr), host_cap, bytes);
|
Completed in 56 milliseconds