Home
last modified time | relevance | path

Searched refs:hardware_domid (Results 1 – 3 of 3) sorted by relevance

/xen/xen/common/
A Ddomain.c70 domid_t hardware_domid __read_mostly;
71 integer_param("hardware_dom", hardware_domid);
227 printk("Initialising hardware domain %d\n", hardware_domid); in late_hwdom_init()
375 if ( domid == 0 || domid == hardware_domid ) in domain_create()
377 if ( hardware_domid < 0 || hardware_domid >= DOMID_FIRST_RESERVED ) in domain_create()
/xen/xen/include/xen/
A Dsched.h56 extern domid_t hardware_domid;
58 #define hardware_domid 0 macro
/xen/xen/arch/x86/pv/
A Ddom0_build.c905 if ( d->domain_id == hardware_domid ) in dom0_construct_pv()

Completed in 10 milliseconds