Searched refs:devicetree_seg (Results 1 – 3 of 3) sorted by relevance
149 dom->devicetree_seg.vstart : 0xffffffff; in vcpu_arm32()186 dom->devicetree_seg.vstart : 0xffffffff; in vcpu_arm64()498 dom->devicetree_seg.vstart = modbase; in meminit()499 dom->devicetree_seg.vend = modbase + dtb_size; in meminit()503 dom->devicetree_seg.vstart, dom->devicetree_seg.vend); in meminit()
1213 if ( xc_dom_alloc_segment(dom, &dom->devicetree_seg, "devicetree", in xc_dom_build_image()1214 dom->devicetree_seg.vstart, in xc_dom_build_image()1217 devicetreemap = xc_dom_seg_to_ptr(dom, &dom->devicetree_seg); in xc_dom_build_image()
101 struct xc_dom_seg devicetree_seg; member
Completed in 7 milliseconds