Searched refs:guest_to_host (Results 1 - 8 of 8) sorted by relevance
/barrelfish-master/usr/vmkitmon/ |
H A D | pci_vmkitmon_eth.c | 121 struct pci_vmkitmon_eth_rxdesc * first_rx = (struct pci_vmkitmon_eth_rxdesc *) guest_to_host( h->mmio_register[PCI_VMKITMON_ETH_RXDESC_ADR] ); 137 void *hv_addr = (void *)guest_to_host(cur_rx->addr); 191 struct pci_vmkitmon_eth_txdesc * first_tx = (struct pci_vmkitmon_eth_txdesc *) guest_to_host( h->mmio_register[PCI_VMKITMON_ETH_TXDESC_ADR] ); 195 void *hv_addr = (void *)guest_to_host(cur_tx->addr);
|
H A D | guest.c | 273 err = vspace_map_wrapper(guest_to_host(guest_paddr), host_cap, bytes); 568 memcpy((void *)(guest_to_host(g->mem_low_va + 0x8000)), img, img_size); 847 *(uint16_t *)guest_to_host(g->mem_low_va + 0x400) = 0x3f8; // COM1 848 *(uint16_t *)guest_to_host(g->mem_low_va + 0x402) = 0x2f8; // COM2 1172 page_table = (uint64_t *)guest_to_host(amd_vmcb_cr3_rd(&g->vmcb)); 1177 page_table = (uint64_t *)guest_to_host(guest_cr3); 1184 page_table = (uint64_t *)guest_to_host(pml4e.u.pdp_base_pa << 12); 1194 page_table = (uint64_t *)guest_to_host(pdpe.u.pd_base_pa << 12); 1199 guest_to_host(0), &pml4e, pml4e.raw, &pdpe, pdpe.raw, &pde, pde.raw); 1208 page_table = (uint64_t *)guest_to_host(pd [all...] |
H A D | pci_ethernet.c | 184 e10k_q_tdesc_legacy_array_t * tdbal_monvirt = (e10k_q_tdesc_legacy_array_t *)guest_to_host((lvaddr_t)tdbal); 215 e10k_q_rdesc_adv_rd_array_t * rdbal_monvirt = (e10k_q_rdesc_adv_rd_array_t *)guest_to_host((lvaddr_t)rdbal);
|
H A D | guest.h | 107 guest_to_host (lvaddr_t addr) function
|
H A D | realmode.c | 249 M.mem_base = guest_to_host(g->mem_low_va);
|
/barrelfish-master/usr/arrakismon/ |
H A D | guest.c | 311 debug_printf("mapping into our vspace at 0x%lx\n", guest_to_host(guest_paddr)); 312 err = vspace_map_wrapper(guest_to_host(guest_paddr), host_cap, bytes); 988 memcpy((void *)(guest_to_host(g->mem_low_va + 0x8000)), img, img_size); 1005 memcpy((void *)(guest_to_host(g->mem_low_va + 0xf000)), app, sizeof(app)); 1019 memcpy((void *)(guest_to_host(g->mem_low_va)), gdt, sizeof(gdt)); 1038 memcpy((void *)(guest_to_host(g->mem_low_va + 0x1000)), pml4, sizeof(pml4)); 1044 memcpy((void *)(guest_to_host(g->mem_low_va + 0x2000)), pdpt, sizeof(pdpt)); 1058 memcpy((void *)(guest_to_host(g->mem_low_va + 0x3000)), pdir, sizeof(pdir)); 1311 *(uint16_t *)guest_to_host(g->mem_low_va + 0x400) = 0x3f8; // COM1 1312 *(uint16_t *)guest_to_host( [all...] |
H A D | guest.h | 120 guest_to_host (lvaddr_t addr) function
|
H A D | realmode.c | 249 M.mem_base = guest_to_host(g->mem_low_va);
|
Completed in 115 milliseconds