Searched refs:next_table (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 104 uintptr_t next_table = level->table[index]; local
105 if (next_table == RESERVED) {
109 if (next_table == EMPTY) {
113 next_table = (uintptr_t)create_bottom_level(vspace, EMPTY);
115 next_table = (uintptr_t)create_mid_level(vspace, EMPTY);
117 if (next_table == EMPTY) {
122 next_table = RESERVED;
124 level->table[index] = next_table;
127 if (next_table != RESERVED) {
130 error = reserve_entries_bottom(vspace, (vspace_bottom_level_t *)next_table, star
173 uintptr_t next_table = level->table[index]; local
224 uintptr_t next_table = level->table[index]; local
279 uintptr_t next_table = level->table[index]; local
[all...] |
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 104 uintptr_t next_table = level->table[index]; local
105 if (next_table == RESERVED) {
109 if (next_table == EMPTY) {
113 next_table = (uintptr_t)create_bottom_level(vspace, EMPTY);
115 next_table = (uintptr_t)create_mid_level(vspace, EMPTY);
117 if (next_table == EMPTY) {
122 next_table = RESERVED;
124 level->table[index] = next_table;
127 if (next_table != RESERVED) {
130 error = reserve_entries_bottom(vspace, (vspace_bottom_level_t *)next_table, star
173 uintptr_t next_table = level->table[index]; local
224 uintptr_t next_table = level->table[index]; local
279 uintptr_t next_table = level->table[index]; local
[all...] |
| /seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 178 uintptr_t next_table = level->table[index]; local
179 if (next_table == EMPTY) {
183 next_table = (uintptr_t)alloc_and_map(vspace, sizeof(vspace_bottom_level_t));
185 next_table = (uintptr_t)alloc_and_map(vspace, sizeof(vspace_mid_level_t));
187 if (next_table == EMPTY) {
192 next_table = RESERVED;
194 level->table[index] = next_table;
197 if (next_table != RESERVED) {
200 error = reserve_range_bottom(vspace, (vspace_bottom_level_t *)next_table, start, next_start);
202 error = reserve_range_mid(vspace, (vspace_mid_level_t *)next_table, level_nu
[all...] |
| /seL4-refos-master/libs/libsel4utils/src/vspace/ |
| H A D | bootstrap.c | 178 uintptr_t next_table = level->table[index]; local
179 if (next_table == EMPTY) {
183 next_table = (uintptr_t)alloc_and_map(vspace, sizeof(vspace_bottom_level_t));
185 next_table = (uintptr_t)alloc_and_map(vspace, sizeof(vspace_mid_level_t));
187 if (next_table == EMPTY) {
192 next_table = RESERVED;
194 level->table[index] = next_table;
197 if (next_table != RESERVED) {
200 error = reserve_range_bottom(vspace, (vspace_bottom_level_t *)next_table, start, next_start);
202 error = reserve_range_mid(vspace, (vspace_mid_level_t *)next_table, level_nu
[all...] |
Completed in 44 milliseconds