Lines Matching refs:vm_id
57 uint16_t vm_id = 0U; in partition_epc() local
61 struct acrn_vm_config *vm_config = get_vm_config(vm_id); in partition_epc()
67 vm_id++; in partition_epc()
68 if (vm_id == CONFIG_MAX_VM_NUM) { in partition_epc()
72 vm_config = get_vm_config(vm_id); in partition_epc()
84 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()
104 struct epc_map* get_epc_mapping(uint16_t vm_id) in get_epc_mapping() argument
106 return &vm_epc_maps[0][vm_id]; in get_epc_mapping()
123 bool is_vsgx_supported(uint16_t vm_id) in is_vsgx_supported() argument
125 return ((init_sgx_ret == 0) && (vm_epc_maps[0][vm_id].size != 0U)); in is_vsgx_supported()