Searched refs:vm_epc_maps (Results 1 – 2 of 2) sorted by relevance
21 static struct epc_map vm_epc_maps[MAX_EPC_SECTIONS][CONFIG_MAX_VM_NUM]; /* epc resource mapping fo… variable84 vm_epc_maps[mid][vm_id].size = alloc_size; in partition_epc()85 vm_epc_maps[mid][vm_id].hpa = psec_addr + psec_size - free_size; in partition_epc()86 vm_epc_maps[mid][vm_id].gpa = vm_config->epc.base + vm_config->epc.size - vm_request_size; in partition_epc()106 return &vm_epc_maps[0][vm_id]; in get_epc_mapping()125 return ((init_sgx_ret == 0) && (vm_epc_maps[0][vm_id].size != 0U)); in is_vsgx_supported()
599 struct epc_map* vm_epc_maps; in prepare_epc_vm_memmap() local603 vm_epc_maps = get_epc_mapping(vm->vm_id); in prepare_epc_vm_memmap()604 for (i = 0U; (i < MAX_EPC_SECTIONS) && (vm_epc_maps[i].size != 0UL); i++) { in prepare_epc_vm_memmap()605 ept_add_mr(vm, (uint64_t *)vm->arch_vm.nworld_eptp, vm_epc_maps[i].hpa, in prepare_epc_vm_memmap()606 vm_epc_maps[i].gpa, vm_epc_maps[i].size, EPT_RWX | EPT_WB); in prepare_epc_vm_memmap()
Completed in 6 milliseconds