Searched refs:lower (Results 1 – 2 of 2) sorted by relevance
149 index_t *upper, index_t *lower) in cspace_cap_id_to_indices() argument155 *lower = cap_value_get_lower_index(&ret.r); in cspace_cap_id_to_indices()158 (*lower < CAP_TABLE_NUM_CAP_SLOTS))) { in cspace_cap_id_to_indices()171 cspace_indices_to_cap_id(const cspace_t *cspace, index_t upper, index_t lower) in cspace_indices_to_cap_id() argument175 cap_value_set_lower_index(&val, lower); in cspace_indices_to_cap_id()
1391 paddr_t lower; in set_pgtables() local1401 lower = stack[level].paddr; in set_pgtables()1422 set_table_entry(table, idx, lower, refcount, in set_pgtables()
Completed in 19 milliseconds