Home
last modified time | relevance | path

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

/xen/tools/libxc/
A Dxc_dom_arm.c132 dom->devicetree_seg.vstart : 0xffffffff; in vcpu_arm32()
169 dom->devicetree_seg.vstart : 0xffffffff; in vcpu_arm64()
472 dom->devicetree_seg.vstart = modbase; in meminit()
473 dom->devicetree_seg.vend = modbase + dtb_size; in meminit()
477 dom->devicetree_seg.vstart, dom->devicetree_seg.vend); in meminit()
A Dxc_dom_core.c1183 if ( xc_dom_alloc_segment(dom, &dom->devicetree_seg, "devicetree", in xc_dom_build_image()
1184 dom->devicetree_seg.vstart, in xc_dom_build_image()
1187 devicetreemap = xc_dom_seg_to_ptr(dom, &dom->devicetree_seg); in xc_dom_build_image()
/xen/tools/libxc/include/
A Dxc_dom.h101 struct xc_dom_seg devicetree_seg; member

Completed in 7 milliseconds