Searched refs:found_cte (Results 1 - 2 of 2) sorted by last modified time

/barrelfish-2018-10-04/kernel/
H A Dmonitor.c340 struct cte *found_cte = NULL; local
345 &found_cte,
366 !is_copy(&found_cte->cap, source))
H A Dcapabilities.c1560 struct cte *found_cte = NULL; local
1562 MDB_RANGE_FOUND_SURROUNDING, &found_cte, &find_range_result);
1577 if (found_cte && kernel_loglevel >= LOG_DEBUG &&
1581 sprint_cap(capbuf, 128, &found_cte->cap);
1583 if (type_is_mapping(found_cte->cap.type)) {
1584 sprint_cap(capbuf, 128, found_cte->cap.u.frame_mapping.cap);
1588 assert(get_address(&found_cte->cap) >= base &&
1589 get_address(&found_cte->cap) < base+objsize*count);
1596 !is_copy(&found_cte->cap, src_cap))

Completed in 44 milliseconds