Home
last modified time | relevance | path

Searched refs:dom_xen (Results 1 – 7 of 7) sorted by relevance

/xen/xen/arch/x86/
A Dmachine_kexec.c196 VMCOREINFO_SYMBOL(dom_xen); in arch_crash_save_vmcoreinfo()
/xen/xen/include/asm-arm/
A Dp2m.h328 if ( likely(d != dom_xen) ) in get_page_from_gfn()
/xen/xen/common/
A Ddomain.c75 struct domain *__read_mostly dom_xen; variable
563 dom_xen = domain_create(DOMID_XEN, NULL, false); in setup_system_domains()
564 if ( IS_ERR(dom_xen) ) in setup_system_domains()
565 panic("Failed to create d[XEN]: %ld\n", PTR_ERR(dom_xen)); in setup_system_domains()
A Dpage_alloc.c2590 pg_owner = rcu_lock_domain(dom_xen); in get_pg_owner()
/xen/xen/include/xen/
A Dmm.h277 extern struct domain *dom_xen, *dom_io;
679 share_xen_page_with_guest(page, dom_xen, flags); in share_xen_page_with_privileged_guests()
/xen/xen/drivers/passthrough/
A Dpci.c472 pdev->domain = dom_xen; in _pci_hide_device()
473 list_add(&pdev->domain_list, &dom_xen->pdev_list); in _pci_hide_device()
1219 else if ( pdev->domain == dom_xen ) in _setup_hwdom_pci_devices()
1223 pdev->domain = dom_xen; in _setup_hwdom_pci_devices()
/xen/xen/arch/x86/mm/
A Dp2m.c2575 fdom = rcu_lock_domain(dom_xen); in p2m_add_foreign()

Completed in 24 milliseconds