Searched defs:table (Results 1 – 3 of 3) sorted by relevance
| /hyp/core/cspace_twolevel/src/ |
| A D | cspace_twolevel.c | 59 cspace_get_cap_slot_index(const cap_table_t *table, const cap_t *cap) in cspace_get_cap_slot_index()
233 cap_table_t *table; in cspace_lookup_cap_slot() local
251 cspace_allocate_cap_table(cspace_t *cspace, cap_table_t **table, in cspace_allocate_cap_table()
298 cap_table_t *table = cap_table_container_of_rcu_entry(entry); in cspace_destroy_cap_table() local
350 cap_table_t *table; in cspace_allocate_cap_slot() local
412 cap_table_t *table; in cspace_free_cap_slot() local
581 cap_table_t *table = atomic_load_relaxed(&cspace->tables[i]); in cspace_twolevel_handle_object_cleanup_cspace() local
|
| /hyp/mem/memdb_bitmap/src/ |
| A D | memdb.c | 105 memdb_release_level_table(memdb_level_table_t *table) in memdb_release_level_table()
117 memdb_level_table_t *table = in memdb_bitmap_free_level_table() local
456 const memdb_level_table_t *table) in memdb_update_table_check_contig()
487 memdb_entry_t new_entry, memdb_level_table_t *table, in memdb_update_table()
554 memdb_entry_t new_entry, memdb_level_table_t *table, index_t entry_bits, in memdb_update_table_entry_level_table()
665 memdb_level_table_t *table, in memdb_update_table_entry_split_bitmap()
701 memdb_level_table_t *table, in memdb_update_table_entry_split_table()
735 memdb_entry_t new_entry, memdb_level_table_t *table, in memdb_update_table_entry()
887 memdb_lookup_table(paddr_t addr, const memdb_level_table_t *table, in memdb_lookup_table()
990 const memdb_level_table_t *table, index_t entry_bits) in memdb_is_contig_table()
[all …]
|
| /hyp/mem/pgtable/armv8/src/ |
| A D | pgtable.c | 127 vmsa_level_table_t *table; member
876 get_entry(vmsa_level_table_t *table, index_t idx) in get_entry()
973 get_table_refcount(vmsa_level_table_t *table, index_t idx) in get_table_refcount()
1258 set_invalid_entry(vmsa_level_table_t *table, index_t idx) in set_invalid_entry()
1268 set_table_entry(vmsa_level_table_t *table, index_t idx, paddr_t addr, in set_table_entry()
1286 set_page_entry(vmsa_level_table_t *table, index_t idx, paddr_t addr, in set_page_entry()
1314 set_block_entry(vmsa_level_table_t *table, index_t idx, paddr_t addr, in set_block_entry()
1348 set_notlb_flag(vmsa_label_table_t *table, index_t idx, bool nt) in set_notlb_flag()
1365 paddr_t *paddr, vmsa_level_table_t **table) in alloc_level_table()
1392 vmsa_level_table_t *table; in set_pgtables() local
[all …]
|
Completed in 29 milliseconds