Lines Matching refs:mapping
1559 --enable-pcidev enable PCI host device mapping support (linux host only)
5842 /* The mapping between symbol names and symbols. */
33662 { echo "$as_me:$LINENO: checking for PCI host device mapping support" >&5
33663 echo $ECHO_N "checking for PCI host device mapping support... $ECHO_C" >&6; }
33671 { { echo "$as_me:$LINENO: error: PCI host device mapping requires PCI support" >&5
33672 echo "$as_me: error: PCI host device mapping requires PCI support" >&2;}
33677 { echo "$as_me:$LINENO: Linux detected as host for PCI host device mapping" >&5
33678 echo "$as_me: Linux detected as host for PCI host device mapping" >&6;}
33709 { { echo "$as_me:$LINENO: error: PCI host device mapping requires Linux as host" >&5
33710 echo "$as_me: error: PCI host device mapping requires Linux as host" >&2;}
