Searched refs:trace_ext_get_guest_id (Results 1 – 3 of 3) sorted by relevance
66 int trace_ext_get_guest_id(void) in trace_ext_get_guest_id() function
29 int trace_ext_get_guest_id(void);
99 return snprintk(buf, bs, "%d ", trace_ext_get_guest_id()); in print_guest_id()