Searched refs:nr_ud (Results 1 – 1 of 1) sorted by relevance
50 static int nr_ud; variable86 nr_ud++; in guest_ud_handler()134 nr_ud = 0; in guest_hcall()144 GUEST_ASSERT(nr_ud == 1); in guest_hcall()