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

/barrelfish-master/usr/mem_serv/
H A Dmem_serv.c39 static genpaddr_t model_mem_base = 0; variable
219 if (base >= model_mem_base && base + (1UL << bits) - 1 <= model_mem_limit) {
304 if (minbase >= model_mem_base && maxlimit <= model_mem_limit) {
311 (minbase - model_mem_base), (minbase - model_mem_base) >> 20, bits);
314 model_mem_base, model_mem_limit);
321 ret = cap_retype(*cap, model_mem_cap, (minbase - model_mem_base),
492 model_mem_base = bi->regions[i].mr_base;
493 model_mem_limit = model_mem_base + bi->regions[i].mr_bytes - 1;

Completed in 36 milliseconds