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

/barrelfish-master/usr/vmkitmon/
H A Dguest.c230 assert(guest_paddr + bytes <= g->mem_high_va);
282 "g->mem_low_va: 0x%lx, g->mem_high_va: 0x%lx\n",
283 frameid.base, frameid.bytes, g->mem_low_va, g->mem_high_va);
552 self->mem_high_va = 0x80000000;
555 self->mem_high_va = GUEST_VSPACE_SIZE;
1547 if (addr > g->mem_high_va) {
1957 assert(g->mem_high_va > 0x100000);
1961 *(uint64_t *)(addr + 8) = g->mem_high_va - 0x100000;
2005 assert(((g->mem_high_va - g->mem_low_va) & 0x3ff) == 0);
2007 (g->mem_high_va
[all...]
H A Dguest.h73 lvaddr_t mem_high_va; member in struct:guest
H A Drealmode.c182 assert(g->mem_low_va == 0 && g->mem_high_va >= 0x100000);
/barrelfish-master/usr/arrakismon/
H A Dguest.h83 lvaddr_t mem_high_va; member in struct:guest
H A Drealmode.c182 assert(g->mem_low_va == 0 && g->mem_high_va >= 0x100000);
H A Dguest.c275 assert(guest_paddr + bytes <= g->mem_high_va);
322 " g->mem_low_va: 0x%lx, g->mem_high_va: 0x%lx\n",
323 frameid.base, frameid.bytes, g->mem_low_va, g->mem_high_va);
2012 if (addr > g->mem_high_va) {
2422 assert(g->mem_high_va > 0x100000);
2426 *(uint64_t *)(addr + 8) = g->mem_high_va - 0x100000;
2470 assert(((g->mem_high_va - g->mem_low_va) & 0x3ff) == 0);
2472 (g->mem_high_va - g->mem_low_va) / 1024));
3233 if (fault_addr >= g->mem_low_va && fault_addr < g->mem_high_va) {

Completed in 106 milliseconds