Searched defs:bitmap (Results 1 - 6 of 6) sorted by relevance
/seL4-refos-master/projects/refos/impl/libs/libdatastruct/include/data_struct/ | ||
H A D | cbpool.h | 24 uint32_t *bitmap; member in struct:cbpool_s |
/seL4-refos-master/libs/libdatastruct/include/data_struct/ | ||
H A D | cbpool.h | 24 uint32_t *bitmap; member in struct:cbpool_s |
/seL4-refos-master/libs/libsel4allocman/include/allocman/cspace/ | ||
H A D | single_level.h | 35 size_t *bitmap; member in struct:cspace_single_level |
/seL4-refos-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/ | ||
H A D | single_level.h | 35 size_t *bitmap; member in struct:cspace_single_level |
/seL4-refos-master/kernel/src/arch/x86/object/ | ||
H A D | ioport.c | 316 word_t_may_alias *bitmap = ioport_bitmap; local |
H A D | vcpu.c | 35 word_t bitmap[0x2000 / sizeof(word_t) / 8]; member in struct:msr_bitmap 974 static inline void clear_bit(word_t *bitmap, word_t bit) argument [all...] |
Completed in 44 milliseconds