| /seL4-master/src/arch/arm/machine/ |
| A D | l2c_nop.c | 13 void plat_cleanL2Range(paddr_t start, paddr_t end) {} in plat_cleanL2Range()
14 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} in plat_invalidateL2Range()
15 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} in plat_cleanInvalidateL2Range()
|
| A D | cache.c | 15 static void cleanCacheRange_PoC(vptr_t start, vptr_t end, paddr_t pstart) in cleanCacheRange_PoC()
26 void cleanInvalidateCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) in cleanInvalidateCacheRange_RAM()
55 void cleanCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) in cleanCacheRange_RAM()
77 void cleanCacheRange_PoU(vptr_t start, vptr_t end, paddr_t pstart) in cleanCacheRange_PoU()
93 void invalidateCacheRange_RAM(vptr_t start, vptr_t end, paddr_t pstart) in invalidateCacheRange_RAM()
135 void invalidateCacheRange_I(vptr_t start, vptr_t end, paddr_t pstart) in invalidateCacheRange_I()
159 void branchFlushRange(vptr_t start, vptr_t end, paddr_t pstart) in branchFlushRange()
|
| A D | l2c_310.c | 382 void plat_cleanL2Range(paddr_t start, paddr_t end) in plat_cleanL2Range()
398 void plat_invalidateL2Range(paddr_t start, paddr_t end) in plat_invalidateL2Range()
417 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) in plat_cleanInvalidateL2Range()
|
| /seL4-master/src/plat/omap3/machine/ |
| A D | l2cache.c | 37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} in plat_cleanL2Range()
38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} in plat_invalidateL2Range()
39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} in plat_cleanInvalidateL2Range()
|
| /seL4-master/src/plat/allwinnerA20/machine/ |
| A D | l2cache.c | 37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} in plat_cleanL2Range()
38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} in plat_invalidateL2Range()
39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} in plat_cleanInvalidateL2Range()
|
| /seL4-master/src/plat/am335x/machine/ |
| A D | l2cache.c | 37 void plat_cleanL2Range(paddr_t start, paddr_t end) {} in plat_cleanL2Range()
38 void plat_invalidateL2Range(paddr_t start, paddr_t end) {} in plat_invalidateL2Range()
39 void plat_cleanInvalidateL2Range(paddr_t start, paddr_t end) {} in plat_cleanInvalidateL2Range()
|
| /seL4-master/include/ |
| A D | basic_types.h | 50 pptr_t start; member
55 paddr_t start; member
60 vptr_t start; member
|
| /seL4-master/include/arch/riscv/arch/ |
| A D | sbi.h | 115 unsigned long start, in sbi_remote_sfence_vma()
122 unsigned long start, in sbi_remote_sfence_vma_asid()
|
| /seL4-master/tools/ |
| A D | umm.py | 79 def paths_to_type(mp, f, start): argument
|
| /seL4-master/include/arch/arm/arch/object/ |
| A D | vcpu.h | 144 static inline void vcpu_save_reg_range(vcpu_t *vcpu, word_t start, word_t end) in vcpu_save_reg_range()
160 static inline void vcpu_restore_reg_range(vcpu_t *vcpu, word_t start, word_t end) in vcpu_restore_reg_range()
|
| /seL4-master/tools/hardware/ |
| A D | memory.py | 50 def from_range(start, end, owner=None): argument
|
| /seL4-master/src/kernel/ |
| A D | boot.c | 181 BOOT_CODE static void create_rootserver_objects(pptr_t start, v_region_t it_v_reg, in create_rootserver_objects()
640 paddr_t start = 0; in create_untypeds() local
900 pptr_t start = ROUND_DOWN(unaligned_start, max); in init_freemem() local
|
| /seL4-master/include/arch/x86/arch/kernel/ |
| A D | multiboot2.h | 31 uint32_t start; member
|
| A D | multiboot.h | 17 uint32_t start; member
|
| /seL4-master/include/kernel/ |
| A D | boot.h | 119 vptr_t start = ROUND_DOWN(v_reg.start, bits); in get_n_paging() local
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | boot_sys.c | 66 paddr_t start = MAX(min_paddr, boot_state.mem_p_regs.list[i].start); in find_load_paddr() local
|
| /seL4-master/src/arch/x86/object/ |
| A D | ioport.c | 24 static inline word_t make_pattern(int start, int end) in make_pattern()
|
| /seL4-master/libsel4/include/sel4/ |
| A D | bootinfo_types.h | 43 seL4_SlotPos start; /* first CNode slot position OF region */ member
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 1757 static void doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart)
1803 static exception_t performPDFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start,
1929 static exception_t performPageFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start,
2004 vptr_t start, end; local
2404 vptr_t start, end; local
|
| /seL4-master/src/arch/arm/object/ |
| A D | iospace.c | 94 seL4_SlotPos start = ndks_boot.slot_pos_cur; in create_iospace_caps() local
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 1437 static void doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart) in doFlush()
1475 vptr_t start, vptr_t end, paddr_t pstart) in performVSpaceFlush()
1635 vptr_t start, vptr_t end, paddr_t pstart) in performPageFlush()
1697 vptr_t start, end; in decodeARMVSpaceRootInvocation() local
2196 vptr_t start, end; in decodeARMFrameInvocation() local
|
| /seL4-master/src/plat/pc99/machine/ |
| A D | acpi.c | 161 BOOT_CODE static uint8_t acpi_calc_checksum(char *start, uint32_t length) in acpi_calc_checksum()
|