count (definition) in projects: seL4-master

Searched defs:count (Results 1 – 10 of 10) sorted by relevance

/seL4-master/src/
A D	util.c	`185 unsigned count = 32; in clz32() local 248 unsigned count = 64; in clz64() local 305 unsigned count = (x == 0); in ctz32() local 367 unsigned count = (x == 0); in ctz64() local`
/seL4-master/src/plat/pc99/machine/
A D	pit.c	`29 uint16_t count; in pit_wait_wraparound() local`
A D	acpi.c	`283 uint32_t count; in acpi_madt_scan() local 386 uint32_t count; in acpi_fadt_scan() local 426 uint32_t count; in acpi_dmar_scan() local`
/seL4-master/include/machine/
A D	profiler.h	`65 word_t count; member`
/seL4-master/include/drivers/timer/
A D	arm_priv.h	`14 uint32_t count; member`
/seL4-master/include/arch/x86/arch/kernel/
A D	boot.h	`16 word_t count; member`
/seL4-master/src/machine/
A D	profiler.c	`55 unsigned int samples, i, count; in profiler_list() local`
/seL4-master/include/smp/
A D	ipi.h	`18 word_t count; member`
/seL4-master/include/
A D	util.h	`300 unsigned int count; // c accumulates the total bits set in v in popcountl() local`
/seL4-master/src/drivers/smmu/
A D	smmuv2.c	`79 int count = 0; in smmu_tlb_sync() local`

Completed in 14 milliseconds