Searched refs:flush_cache_range (Results 1 – 6 of 6) sorted by relevance
| /hypervisor/include/arch/x86/asm/ |
| A D | mmu.h | 186 void flush_cache_range(const volatile void *p, uint64_t size);
|
| /hypervisor/arch/x86/ |
| A D | trampoline.c | 123 flush_cache_range(hpa2hva(trampoline_pa), trampline_size); in prepare_trampoline()
|
| A D | mmu.c | 353 void flush_cache_range(const volatile void *p, uint64_t size) in flush_cache_range() function
|
| A D | cpu.c | 506 flush_cache_range((void *)get_hv_image_base(), get_hv_image_size()); in cpu_dead()
|
| A D | vtd.c | 269 flush_cache_range(p, size); in iommu_flush_cache()
|
| /hypervisor/arch/x86/guest/ |
| A D | ept.c | 391 flush_cache_range(hpa2hva(base_hpa), min(end_hpa, sw_sram_bottom) - base_hpa); in ept_flush_leaf_page()
403 flush_cache_range(hpa2hva(max(base_hpa, sw_sram_top)), end_hpa - max(base_hpa, sw_sram_top)); in ept_flush_leaf_page()
|
Completed in 11 milliseconds