Searched refs:sc_set_guest_os (Results 1 – 2 of 2) sorted by relevance
70 int sc_set_guest_os; member
441 if (sc->sc_set_guest_os == 0) { in vmt_update_guest_info()460 sc->sc_set_guest_os = 1; in vmt_update_guest_info()536 sc->sc_set_guest_os = 0; in vmt_do_resume()