Searched refs:bitmap (Results 1 - 6 of 6) sorted by relevance
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/cspace/ |
H A D | single_level.c | 27 /* Allocate bitmap */ 34 cspace->bitmap = (size_t*)allocman_mspace_alloc(alloc, num_entries * sizeof(size_t), &error); 39 memset(cspace->bitmap, -1, num_entries * sizeof(size_t)); 45 cspace->bitmap[num_entries - 1] ^= BIT(i); 54 allocman_mspace_free(alloc, cspace->bitmap, cspace->bitmap_length * sizeof(size_t)); 63 if (cspace->bitmap[i] == 0) { 68 } while (cspace->bitmap[i] == 0 && i != cspace->last_entry); 74 index = BITS_PER_WORD - 1 - CLZL(cspace->bitmap[i]); 75 cspace->bitmap[i] &= ~BIT(index); 88 if ( (cspace->bitmap[inde [all...] |
/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/ |
H A D | tlb_bitmap.h | 39 word_t bitmap = 0; 47 bitmap |= entry << shift; 49 return bitmap;
|
/seL4-camkes-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-camkes-master/kernel/src/arch/x86/object/ |
H A D | ioport.c | 316 word_t_may_alias *bitmap = ioport_bitmap; local 326 apply_pattern(bitmap + low_word, make_pattern(low_index, high_index + 1), set); 329 apply_pattern(bitmap + low_word, make_pattern(low_index, CONFIG_WORD_SIZE), set); 333 apply_pattern(bitmap + low_word, ~(word_t)0, set); 337 apply_pattern(bitmap + low_word, make_pattern(0, high_index + 1), set);
|
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 978 bitmap[index] &= ~BIT(offset); 1033 clear_bit(msr_bitmap_region.low_msr_read.bitmap, IA32_SYSENTER_CS_MSR); 1034 clear_bit(msr_bitmap_region.low_msr_read.bitmap, IA32_SYSENTER_ESP_MSR); 1035 clear_bit(msr_bitmap_region.low_msr_read.bitmap, IA32_SYSENTER_EIP_MSR); 1036 clear_bit(msr_bitmap_region.low_msr_write.bitmap, IA32_SYSENTER_CS_MSR); 1037 clear_bit(msr_bitmap_region.low_msr_write.bitmap, IA32_SYSENTER_ESP_MSR); 1038 clear_bit(msr_bitmap_region.low_msr_write.bitmap, IA32_SYSENTER_EIP_MSR); 1424 /* clear the IO bitmap a [all...] |
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/processor/ |
H A D | lapic.c | 134 static inline int apic_test_vector(int vec, void *bitmap) argument 136 return ((1UL << (vec & 31)) & ((uint32_t *)bitmap)[vec >> 5]) != 0; 147 static inline void apic_set_vector(int vec, void *bitmap) argument 149 ((uint32_t *)bitmap)[vec >> 5] |= 1UL << (vec & 31); 152 static inline void apic_clear_vector(int vec, void *bitmap) argument 154 ((uint32_t *)bitmap)[vec >> 5] &= ~(1UL << (vec & 31)); 232 static void UNUSED dump_vector(const char *name, void *bitmap) argument 235 uint32_t *reg = bitmap; 247 static int find_highest_vector(void *bitmap) argument 250 uint32_t *reg = bitmap; 262 count_vectors(void *bitmap) argument [all...] |
Completed in 161 milliseconds