Searched refs:sctl_enable (Results 1 – 1 of 1) sorted by relevance
61 static void synic_update(SynICState *synic, bool sctl_enable, in synic_update() argument65 synic->sctl_enabled = sctl_enable; in synic_update()90 void hyperv_synic_update(CPUState *cs, bool sctl_enable, in hyperv_synic_update() argument99 synic_update(synic, sctl_enable, msg_page_addr, event_page_addr); in hyperv_synic_update()