Searched refs:set_paging_x (Results 1 – 3 of 3) sorted by relevance
151 void set_paging_x(uint64_t base, uint64_t size);
142 set_paging_x((uint64_t)hpa2hva(rtcm_binary->address), rtcm_binary->size); in init_software_sram()
223 void set_paging_x(uint64_t base, uint64_t size) in set_paging_x() function
Completed in 4 milliseconds