Searched refs:flush_tlb_range (Results 1 – 3 of 3) sorted by relevance
156 flush_tlb_range((uint64_t)hpa2hva(rtcm_binary->address), rtcm_binary->size); in init_software_sram()172 flush_tlb_range((uint64_t)hpa2hva(rtcm_binary->address), rtcm_binary->size); in init_software_sram()
334 void flush_tlb_range(uint64_t addr, uint64_t size) in flush_tlb_range() function
182 void flush_tlb_range(uint64_t addr, uint64_t size);
Completed in 5 milliseconds