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

/barrelfish-master/lib/barrelfish/vspace/
H A Dmmu_aware.c235 genvaddr_t gen_base = vregion_get_base_addr(&state->vregion); local
236 memcpy(vbuf, (void*)(lvaddr_t)gen_base, state->mapoffset);
288 genvaddr_t gen_base = vspace_lvaddr_to_genvaddr(base) local
307 err = state->memobj.m.f.unfill(&state->memobj.m, gen_base,

Completed in 28 milliseconds