define an abort instruction for alpha
define an abort instruction for alpha

ddcc/klee-uclibc-0.9.33.2,groundwater/uClibc,brgl/uclibc-ng,gittup/uClibc,hwoarang/uClibc,OpenInkpot-archive/iplinux-uclibc,skristiansson/uClibc-or1k,atgreen/uClibc-moxie,foss-xtensa/uClibc,ffainelli/uClibc,gittup/uClibc,czankel/xtensa-uclibc,ChickenRunjyd/klee-uclibc,klee/klee-uclibc,majek/uclibc-vx32,OpenInkpot-archive/iplinux-uclibc,kraj/uclibc-ng,mephi42/uClibc,kraj/uClibc,ysat0/uClibc,ndmsystems/uClibc,klee/klee-uclibc,skristiansson/uClibc-or1k,foss-xtensa/uClibc,ffainelli/uClibc,ndmsystems/uClibc,waweber/uclibc-clang,kraj/uclibc-ng,m-labs/uclibc-lm32,waweber/uclibc-clang,atgreen/uClibc-moxie,groundwater/uClibc,ChickenRunjyd/klee-uclibc,ChickenRunjyd/klee-uclibc,ysat0/uClibc,ysat0/uClibc,groundwater/uClibc,mephi42/uClibc,hjl-tools/uClibc,majek/uclibc-vx32,wbx-github/uclibc-ng,hjl-tools/uClibc,majek/uclibc-vx32,foss-for-synopsys-dwc-arc-processors/uClibc,m-labs/uclibc-lm32,ndmsystems/uClibc,czankel/xtensa-uclibc,hwoarang/uClibc,skristiansson/uClibc-or1k,hwoarang/uClibc,atgreen/uClibc-moxie,klee/klee-uclibc,hjl-tools/uClibc,wbx-github/uclibc-ng,m-labs/uclibc-lm32,ddcc/klee-uclibc-0.9.33.2,brgl/uclibc-ng,majek/uclibc-vx32,foss-xtensa/uClibc,brgl/uclibc-ng,ddcc/klee-uclibc-0.9.33.2,foss-xtensa/uClibc,hwoarang/uClibc,foss-for-synopsys-dwc-arc-processors/uClibc,waweber/uclibc-clang,gittup/uClibc,ddcc/klee-uclibc-0.9.33.2,ffainelli/uClibc,ffainelli/uClibc,OpenInkpot-archive/iplinux-uclibc,waweber/uclibc-clang,OpenInkpot-archive/iplinux-uclibc,m-labs/uclibc-lm32,atgreen/uClibc-moxie,kraj/uClibc,brgl/uclibc-ng,klee/klee-uclibc,wbx-github/uclibc-ng,ysat0/uClibc,czankel/xtensa-uclibc,gittup/uClibc,mephi42/uClibc,mephi42/uClibc,hjl-tools/uClibc,czankel/xtensa-uclibc,kraj/uclibc-ng,foss-for-synopsys-dwc-arc-processors/uClibc,ChickenRunjyd/klee-uclibc,foss-for-synopsys-dwc-arc-processors/uClibc,ndmsystems/uClibc,groundwater/uClibc,skristiansson/uClibc-or1k,wbx-github/uclibc-ng,kraj/uClibc,hjl-tools/uClibc,kraj/uclibc-ng,groundwater/uClibc,kraj/uClibc,ffainelli/uClibc