Searched refs:mdb_find_range (Results 1 - 6 of 6) sorted by relevance
/barrelfish-2018-10-04/include/mdb/ |
H A D | mdb_tree.h | 132 errval_t mdb_find_range(mdb_root_t root, genpaddr_t address, gensize_t size,
|
/barrelfish-2018-10-04/lib/mdb/ |
H A D | mdb.c | 147 mdb_find_range(get_type_root(cte->cap.type),
|
H A D | mdb_tree.c | 1150 assert(!"Unhandled enum value for mdb_find_range result"); 1256 mdb_find_range(mdb_root_t root, genpaddr_t address, gensize_t size, function 1288 err = mdb_find_range(get_type_root(ObjType_RAM), address,
|
/barrelfish-2018-10-04/usr/tests/mdbtests/ |
H A D | test_range_query.c | 222 errval_t r = mdb_find_range(get_type_root(ObjType_RAM), q->begin, q->size, MDB_RANGE_FOUND_PARTIAL, &retcap, &result); 225 USER_PANIC("mdb_find_range returned with error %d\n", r); 234 USER_PANIC("mdb_find_range returned %d (expected %d)\n", result, qtype); 238 USER_PANIC("mdb_find_range returned cap (.base = 0x%"
|
/barrelfish-2018-10-04/kernel/ |
H A D | monitor.c | 341 err = mdb_find_range(get_type_root(source->type), 350 printk(LOG_WARN, "%s: mdb_find_range returned: %"PRIuERRV"\n", __FUNCTION__, err);
|
H A D | capabilities.c | 1561 err = mdb_find_range(get_type_root(src_cap->type), base, objsize * count, 1566 printk(LOG_WARN, "mdb_find_range returned: %"PRIuERRV"\n", err);
|
Completed in 116 milliseconds