Searched refs:get_hv_image_size (Results 1 – 8 of 8) sorted by relevance
12 extern uint64_t get_hv_image_size(void);
58 inline uint64_t get_hv_image_size(void) in get_hv_image_size() function
48 ept_del_mr(vm, (uint64_t *)vm->arch_vm.nworld_eptp, hv_hpa, get_hv_image_size()); in prepare_tee_vm_memmap()
531 ept_del_mr(vm, pml4_page, hv_hpa, get_hv_image_size()); in prepare_service_vm_memmap()
310 get_hv_image_size() + (((hv_hva & (PDE_SIZE - 1UL)) != 0UL) ? PDE_SIZE : 0UL), in init_paging()
270 uint64_t hv_end = hv_start + get_hv_image_size(); in alloc_hv_memory()
506 flush_cache_range((void *)get_hv_image_base(), get_hv_image_size()); in cpu_dead()
767 (hpa < (base_paddr + get_hv_image_size())))) { in write_protect_page()
Completed in 21 milliseconds