Searched refs:mem_high_va (Results 1 - 6 of 6) sorted by relevance
/barrelfish-master/usr/vmkitmon/ |
H A D | guest.c | 230 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 D | guest.h | 73 lvaddr_t mem_high_va; member in struct:guest
|
H A D | realmode.c | 182 assert(g->mem_low_va == 0 && g->mem_high_va >= 0x100000);
|
/barrelfish-master/usr/arrakismon/ |
H A D | guest.h | 83 lvaddr_t mem_high_va; member in struct:guest
|
H A D | realmode.c | 182 assert(g->mem_low_va == 0 && g->mem_high_va >= 0x100000);
|
H A D | guest.c | 275 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