Lines Matching refs:KERNEL
1057 local KERNEL=$T/prebuilts/qemu-kernel/$arch/vmlinux-qemu
1065 if [ ! -r "$KERNEL" ] ; then
1066 echo "Error: cannot find kernel: '$KERNEL'"
1087 q2dm -r $ANDROID_PRODUCT_OUT/symbols $TRACE $KERNEL $TRACE/dmtrace || return
