Searched refs:host_to_guest (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/usr/vmkitmon/
H A Dpci_ethernet.c245 *val = host_to_guest((lvaddr_t)val);
H A Dguest.h101 host_to_guest (lvaddr_t addr) function
/barrelfish-2018-10-04/usr/arrakismon/
H A Dguest.h92 host_to_guest (lvaddr_t addr) function

Completed in 47 milliseconds