Searched refs:obj_type (Results 1 – 4 of 4) sorted by relevance
| /hyp/interfaces/memdb/include/ |
| A D | memdb.h | 15 uintptr_t object, memdb_type_t obj_type);
25 uintptr_t object, memdb_type_t obj_type, uintptr_t prev_object,
|
| /hyp/mem/memdb_gpt/src/ |
| A D | memdb.c | 1074 obj_type, 0, in add_extra_shifts_update()
1299 uintptr_t object, memdb_type_t obj_type, in add_extra_shifts() argument
1331 obj_type, 0, in add_extra_shifts()
1542 start_addr, end_addr, object, obj_type, in find_common_level()
1548 object, obj_type, common_level, in find_common_level()
1588 shifts, object, obj_type, prev_object, in add_range()
1598 obj_type, end_locked_levels, in add_range()
1715 allocator, object, obj_type, 0, in memdb_insert()
1773 object, obj_type); in memdb_insert()
1821 object, obj_type, prev_object, prev_type, in memdb_update()
[all …]
|
| /hyp/mem/memdb_bitmap/src/ |
| A D | memdb.c | 153 memdb_entry_for_object(uintptr_t object, memdb_type_t obj_type) in memdb_entry_for_object() argument
157 memdb_entry_set_entry_type(&entry, obj_type); in memdb_entry_for_object()
794 uintptr_t object, memdb_type_t obj_type) in memdb_insert() argument
796 return memdb_update(partition, start_addr, end_addr, object, obj_type, in memdb_insert()
802 uintptr_t object, memdb_type_t obj_type, uintptr_t prev_object, in memdb_update() argument
816 memdb_entry_for_object(object, obj_type); in memdb_update()
834 object, obj_type); in memdb_update()
1051 uintptr_t object, memdb_type_t obj_type) in memdb_is_ownership_contiguous() argument
1053 const memdb_entry_t entry = memdb_entry_for_object(object, obj_type); in memdb_is_ownership_contiguous()
1223 if (obj_type == MEMDB_TYPE_NOTYPE) { in memdb_range_walk()
[all …]
|
| /hyp/core/cspace_twolevel/src/ |
| A D | cspace_twolevel.c | 185 object_type_t obj_type = cap_info_get_type(&data.info); in cspace_check_cap_data() local
190 if (compiler_expected(obj_type == type) || in cspace_check_cap_data()
497 object_type_t obj_type = OBJECT_TYPE_ANY; in cspace_lookup_object_any() local
513 obj_type = cap_info_get_type(&cap_data.info); in cspace_lookup_object_any()
520 if (compiler_unexpected(!object_get_safe(obj_type, cap_data.object))) { in cspace_lookup_object_any()
527 *type = obj_type; in cspace_lookup_object_any()
|
Completed in 22 milliseconds