Home
last modified time | relevance | path

Searched refs:virt_get_guest_id (Results 1 – 3 of 3) sorted by relevance

/optee_os/core/include/kernel/
H A Dvirtualization.h106 uint16_t virt_get_guest_id(struct guest_partition *prtn);
203 static inline uint16_t virt_get_guest_id(struct guest_partition *prtn __unused) in virt_get_guest_id() function
/optee_os/core/arch/arm/kernel/
H A Dvirtualization.c380 uint16_t virt_get_guest_id(struct guest_partition *prtn) in virt_get_guest_id() function
H A Dthread_spmc.c691 assert(vm_id == virt_get_guest_id(prtn)); in get_notif_vm_bitmap()
1847 guest_id = virt_get_guest_id(prtn); in handle_notification_info_get()