Searched refs:vcpu_ev (Results 1 – 2 of 2) sorted by relevance
749 uint32_t vcpu_ev; /* if yes, what event? */ member
1080 domctl->u.gdbsx_domstatus.vcpu_ev = in arch_do_domctl()
Completed in 9 milliseconds