Searched refs:succ (Results 1 - 4 of 4) sorted by relevance
| /seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 284 int succ; local
286 succ = is_reserved_or_empty_bottom((vspace_bottom_level_t *)next_table, start, next_start, good, bad);
288 succ = is_reserved_or_empty_mid((vspace_mid_level_t *)next_table, level_num - 1, start, next_start, good, bad);
290 if (!succ) {
|
| /seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
| H A D | vspace_internal.h | 284 int succ; local
286 succ = is_reserved_or_empty_bottom((vspace_bottom_level_t *)next_table, start, next_start, good, bad);
288 succ = is_reserved_or_empty_mid((vspace_mid_level_t *)next_table, level_num - 1, start, next_start, good, bad);
290 if (!succ) {
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | trap.c | 2930 boolean succ = Is_waterlevel(&u.uz) ? TRUE : local
2936 if (succ) {
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
| H A D | trap.c | 2930 boolean succ = Is_waterlevel(&u.uz) ? TRUE : local
2936 if (succ) {
|
Completed in 105 milliseconds