Searched refs:count (Results 1 - 11 of 11) sorted by relevance

/seL4-mcs-10.1.1/src/plat/pc99/machine/
H A Dpit.c35 uint16_t count; local
39 count = in8(PIT_CH0);
40 count |= (in8(PIT_CH0) << 8);
41 count_old = count;
43 while (count <= count_old) {
44 count_old = count;
46 count = in8(PIT_CH0);
47 count |= (in8(PIT_CH0) << 8);
H A Dacpi.c293 uint32_t count; local
307 for (count = 0; count < entries; count++) {
308 acpi_madt = (acpi_madt_t*)(word_t)acpi_rsdt_mapped->entry[count];
397 uint32_t count; local
407 for (count = 0; count < entries; count++) {
408 acpi_fadt = (acpi_fadt_t*)(word_t)acpi_rsdt_mapped->entry[count];
438 uint32_t count; local
[all...]
/seL4-mcs-10.1.1/src/machine/
H A Dprofiler.c29 /* Event count for each checkpoint value */
53 profiler_entries[i].count = 0;
61 unsigned int samples, i, count; local
63 printf("checkpoint count\n");
66 count = 0;
69 printf("%u %u\n", i, (unsigned int)profiler_entries[i].count);
70 samples += profiler_entries[i].count;
71 count++;
75 printf("%u checkpoints, %u sample(s)\n", count, samples);
88 profiler_entries[checkpoint].count
[all...]
/seL4-mcs-10.1.1/src/
H A Dutil.c148 uint32_t count = 0; local
149 while ( !(x & 0x80000000U) && count < 34) {
151 count++;
153 return count;
158 uint32_t count = 0; local
159 while ( !(x & 0x000000001) && count <= 32) {
161 count++;
163 return count;
168 uint32_t count = 0; local
169 while ( !(x & 0x8000000000000000U) && count < 6
178 uint32_t count = 0; local
[all...]
/seL4-mcs-10.1.1/include/machine/
H A Dprofiler.h70 word_t count; member in struct:__anon60
/seL4-mcs-10.1.1/include/smp/
H A Dipi.h25 word_t count; member in struct:__anon65
44 if (__atomic_fetch_add(&ipiSyncBarrier.count, 1, __ATOMIC_ACQ_REL) == cores) {
45 ipiSyncBarrier.count = 0;
/seL4-mcs-10.1.1/include/
H A Dutil.h162 unsigned int count; // c accumulates the total bits set in v local
163 for (count = 0; mask; count++) {
167 return count;
/seL4-mcs-10.1.1/include/arch/x86/arch/kernel/
H A Dboot.h21 word_t count; member in struct:mem_p_regs
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot_sys.c92 for (i = 0; i < boot_state.mem_p_regs.count; i++) {
109 for (i = 0; i < boot_state.mem_p_regs.count; i++) {
264 if (boot_state.mem_p_regs.count == MAX_NUM_FREEMEM_REG) {
269 boot_state.mem_p_regs.list[boot_state.mem_p_regs.count] = reg;
270 boot_state.mem_p_regs.count++;
617 boot_state.mem_p_regs.count = 0;
682 boot_state.mem_p_regs.count = 0;
H A Dboot.c227 for (i = 0; i < mem_p_regs.count; i++) {
/seL4-mcs-10.1.1/manual/parts/
H A Dthreads.tex518 instructions before resuming single-stepping. This skip-count can also be set in

Completed in 55 milliseconds