#!/usr/local/bin/bash
#
# Set userspace KTR mask

usage()
{
    cat <<EOF
Usage: isi_uktr_set_mask mask
EOF
}

UKTR_MASK_FILE="/tmp/isi_uktr_mask"

MASK=$(( 0x00000000 | ${1} ))

B1="\\x"$(( $(( ${MASK} & 0xFF000000 )) >> 24))
B2="\\x"$(( $(( ${MASK} & 0x00FF0000 )) >> 16))
B3="\\x"$(( $(( ${MASK} & 0x0000FF00 )) >> 8))
B4="\\x"$(( $(( ${MASK} & 0x000000FF )) >> 0))

echo -e ${B4}${B3}${B2}${B1}>${UKTR_MASK_FILE}

