Searched refs:ROUND_DOWN (Results 1 - 13 of 13) sorted by relevance
| /seL4-l4v-10.1.1/seL4/src/plat/imx31/machine/ |
| H A D | hardware.c | 28 #define L2_LINE_START(a) ROUND_DOWN(a, L2_LINE_SIZE_BITS)
|
| /seL4-l4v-10.1.1/seL4/include/ |
| H A D | util.h | 16 #define ROUND_DOWN(n, b) (((n) >> (b)) << (b)) macro
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/machine/ |
| H A D | cache.c | 16 #define LINE_START(a) ROUND_DOWN(a, L1_CACHE_LINE_SIZE_BITS)
|
| H A D | l2c_310.c | 17 #define L2_LINE_START(a) ROUND_DOWN(a, L2_LINE_SIZE_BITS)
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
| H A D | hardware.c | 83 for (v = ROUND_DOWN((word_t)vaddr, x86KScacheLineSizeBits);
|
| /seL4-l4v-10.1.1/seL4/src/object/ |
| H A D | untyped.c | 261 for (offset = ROUND_DOWN(offset - 1, chunk);
|
| /seL4-l4v-10.1.1/seL4/src/kernel/ |
| H A D | boot.c | 73 ndks_boot.freemem[i].end - ROUND_DOWN(ndks_boot.freemem[i].end, size_bits)) {
77 new_reg.end = ROUND_DOWN(ndks_boot.freemem[i].end, size_bits);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 723 for (vptr = ROUND_DOWN(it_v_reg.start, PML4_INDEX_OFFSET);
739 for (vptr = ROUND_DOWN(it_v_reg.start, PDPT_INDEX_OFFSET);
755 for (vptr = ROUND_DOWN(it_v_reg.start, PD_INDEX_OFFSET);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 466 for (vptr = ROUND_DOWN(it_v_reg.start, PT_INDEX_BITS + PAGE_BITS);
|
| /seL4-l4v-10.1.1/seL4/src/arch/x86/kernel/ |
| H A D | boot_sys.c | 637 avail.end = ROUND_DOWN(avail.start + (mbi->part1.mem_upper << 10), PAGE_BITS);
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 513 for (vptr = ROUND_DOWN(it_v_reg.start, PGD_INDEX_OFFSET);
527 for (vptr = ROUND_DOWN(it_v_reg.start, PUD_INDEX_OFFSET);
541 for (vptr = ROUND_DOWN(it_v_reg.start, PD_INDEX_OFFSET);
|
| /seL4-l4v-10.1.1/seL4/src/arch/riscv/kernel/ |
| H A D | vspace.c | 271 for (pt_vptr = ROUND_DOWN(it_v_reg.start, RISCV_GET_LVL_PGSIZE_BITS(i - 1));
|
| /seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 582 for (pt_vptr = ROUND_DOWN(it_v_reg.start, PT_INDEX_BITS + PAGE_BITS);
|
Completed in 122 milliseconds