Searched refs:virt_get_current_guest_id (Results 1 – 5 of 5) sorted by relevance
98 uint16_t virt_get_current_guest_id(void);202 static inline uint16_t virt_get_current_guest_id(void) { return 0; } in virt_get_current_guest_id() function
68 return virt_get_current_guest_id(); in trace_ext_get_guest_id()
181 console_notif_vm_id != virt_get_current_guest_id()) in yielding_console_notif()225 console_notif_vm_id = virt_get_current_guest_id(); in claim_console()
87 uint16_t virt_get_current_guest_id(void) in virt_get_current_guest_id() function
261 m->cookie |= SHIFT_U64(virt_get_current_guest_id(), in mobj_ffa_sel1_spmc_new()