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

/barrelfish-master/usr/vmkitmon/
H A Dpci_vmkitmon_eth.c137 void *hv_addr = (void *)guest_to_host(cur_rx->addr); local
138 memcpy(hv_addr, buffer->va, buffer->len);
195 void *hv_addr = (void *)guest_to_host(cur_tx->addr); local
204 memcpy(rx_buffer_ring[receive_bufptr].vaddr, hv_addr, cur_tx->len);
215 if(*(unsigned char *)hv_addr == 0xaa) {
217 if(0) dumpRegion(hv_addr);
218 unsigned char *xid = hv_addr + 42;
221 //dumpRegion(hv_addr);
227 memset(hv_addr, 0xBF, cur_tx->len);

Completed in 32 milliseconds