Searched refs:bitmap (Results 1 - 6 of 6) sorted by relevance

/seL4-camkes-master/projects/seL4_libs/libsel4allocman/src/cspace/
H A Dsingle_level.c27 /* 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 Dtlb_bitmap.h39 word_t bitmap = 0;
47 bitmap |= entry << shift;
49 return bitmap;
/seL4-camkes-master/projects/seL4_libs/libsel4allocman/include/allocman/cspace/
H A Dsingle_level.h35 size_t *bitmap; member in struct:cspace_single_level
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dioport.c316 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 Dvcpu.c35 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 Dlapic.c134 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