Lines Matching refs:xen
198 --xen Xen image (for Xen only)
199 --active-domains=<list> List of domains in profiling session (for Xen)
481 # similar check for Xen image
495 # get start and end points of a file image (linux kernel or xen)
496 # get_image_range parameter: $1=type_of_image (linux or xen)
499 if test "$1" = "xen"; then
516 echo "objdump is not installed on this system, use opcontrol --kernel-range=start,end or opcontrol --xen-range= or install objdump"
532 if test "$1" = "xen"; then
851 --xen)
1481 get_image_range "xen"
1506 OPD_ARGS="$OPD_ARGS --xen-image=$XENIMAGE --xen-range=$XEN_RANGE"
