Searched refs:camkes_dataport_flush_cache (Results 1 - 7 of 7) sorted by relevance
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/riscv/ |
| H A D | dataport.c | 17 int camkes_dataport_flush_cache(size_t start_offset, size_t size, function
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/arch/x86/ |
| H A D | dataport.c | 17 int camkes_dataport_flush_cache(size_t start_offset, size_t size, function
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
| H A D | dataport.c | 18 int camkes_dataport_flush_cache(size_t start_offset, size_t size, function
|
| /seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
| H A D | dataport.h | 55 int camkes_dataport_flush_cache(size_t start_offset, size_t size,
|
| /seL4-camkes-master/projects/camkes-tool/camkes/templates/ |
| H A D | seL4HardwareMMIO.template.c | 115 return camkes_dataport_flush_cache(start_offset, size, (uintptr_t) &/*? dataport_symbol_name ?*/.content,
|
| H A D | seL4DTBHardware-to.template.c | 104 return camkes_dataport_flush_cache(start_offset, size,
|
| /seL4-camkes-master/projects/global-components/templates/ |
| H A D | seL4DTBHardwareThreadless.template.c | 104 return camkes_dataport_flush_cache(start_offset, size,
|
Completed in 95 milliseconds