Searched refs:default_machine_opts (Results 1 – 2 of 2) sorted by relevance
69 mc->default_machine_opts = "accel=xen"; in xenpv_machine_init()
380 mc->default_machine_opts = "accel=xen"; in xen_pvh_class_init()