Searched defs:guest_id (Results 1 – 2 of 2) sorted by relevance
249 TEE_Result virt_guest_created(uint16_t guest_id) in virt_guest_created()287 TEE_Result virt_guest_destroyed(uint16_t guest_id) in virt_guest_destroyed()323 TEE_Result virt_set_guest(uint16_t guest_id) in virt_set_guest()
160 uint16_t guest_id = args->a1; in tee_entry_vm_created() local176 uint16_t guest_id = args->a1; in tee_entry_vm_destroyed() local
Completed in 3 milliseconds