Searched refs:supported (Results 1 – 5 of 5) sorted by relevance
33 if ((vcpu->vm->sworld_control.flag.supported != 0UL) && (next_world_id < NR_WORLD) in hcall_world_switch()59 if ((vcpu->vm->sworld_control.flag.supported != 0UL) in hcall_initialize_trusty()90 if (is_vcpu_bsp(vcpu) && (vm->sworld_control.flag.supported != 0UL)) { in hcall_save_restore_sworld_ctx()
104 uint64_t supported : 1; member
711 vm->sworld_control.flag.supported = 1U; in create_vm()713 if (vm->sworld_control.flag.supported != 0UL) { in create_vm()
370 if ((vm->sworld_control.flag.supported == 0UL) in initialize_trusty()
191 mbedtls_ecdh_compute_shared()) are supported for now. Contributed by1238 * Removed mbedtls_ecp_group_read_string(). Only named groups are supported.2395 supported version to a server to help buggy server implementations.2522 are now supported as well (Fixes ticket #5)
Completed in 10 milliseconds