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

/barrelfish-master/lib/barrelfish/vspace/
H A Dmemobj_append.c344 assert(offset == append->already_faulted);
369 append->already_faulted += retsize;
/barrelfish-master/include/barrelfish/
H A Dmemobj.h159 genvaddr_t already_faulted; ///< highest offset in object that we already mapped member in struct:memobj_append

Completed in 87 milliseconds