Home
last modified time | relevance | path

Searched defs:guest_id (Results 1 – 2 of 2) sorted by relevance

/optee_os/core/arch/arm/kernel/
A Dvirtualization.c249 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()
/optee_os/core/arch/arm/tee/
A Dentry_fast.c160 uint16_t guest_id = args->a1; in tee_entry_vm_created() local
176 uint16_t guest_id = args->a1; in tee_entry_vm_destroyed() local

Completed in 3 milliseconds