Searched refs:KERNEL (Results 1 - 9 of 9) sorted by relevance

/barrelfish-2018-10-04/tools/
H A Darm-mkbootelf.sh26 KERNEL=$2
29 if [ ! -f ${KERNEL} ]; then
30 echo Failed to find kernel :- \"${KERNEL}\"
48 eval `"${OBJDUMP}" -x "${KERNEL}" | tr "[a-z]" "[A-Z]" | sed -n -e "/^START ADDRESS/ { s@.*0X\([0-9A-F]*\).*@ENTRY=\1;@; p }" -e "/TEXT/ { s@.*TEXT[ \t]*\([0-9A-F]*\)[ \t]*\([0-9A-F]*\)[ \t]*\([0-9A-F]*\)[ \t]*\([0-9A-F]*\).*@SIZE=\1 ; VTEXT=\2; LTEXT=\3; OFFSET=\4@; p; q }"`
74 ${OBJDUMP} -f ${KERNEL} | grep -q bigarm # Using return value for if statement
84 dd if=${KERNEL} of=${OUTPUT} skip=1 seek=1 bs=4 >/dev/null 2>&1
H A Dqemu-wrapper.sh80 shift; KERNEL="$1"
108 if test -z "$KERNEL"; then
120 KERNEL=`sed -rne 's,^kernel[ \t]*/([^ ]*).*,\1,p' "$MENUFILE"`
122 KERNEL="$ROOT/$KERNEL"
124 if test -z "$KERNEL"; then
139 echo "Initial kernel file: $KERNEL"
227 echo "$QEMU_CMD $QEMU_NONDEBUG -kernel $KERNEL -append '$KERNEL_CMDS' -initrd $INITRD"
228 exec $QEMU_CMD $QEMU_NONDEBUG -kernel $KERNEL -append '$KERNEL_CMDS' -initrd "$INITRD"
273 -kernel \"$KERNEL\" \
[all...]
/barrelfish-2018-10-04/tools/arm_gem5/
H A Dboot_gem5.sh19 export KERNEL=$(realpath $2)
45 --kernel="$KERNEL" \
/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c463 TRACE(KERNEL, BZERO, 1);
465 TRACE(KERNEL, BZERO, 0);
473 TRACE(KERNEL, BZERO, 1);
475 TRACE(KERNEL, BZERO, 0);
495 TRACE(KERNEL, BZERO, 1);
497 TRACE(KERNEL, BZERO, 0);
503 TRACE(KERNEL, BZERO, 1);
505 TRACE(KERNEL, BZERO, 0);
511 TRACE(KERNEL, BZERO, 1);
513 TRACE(KERNEL, BZER
[all...]
H A Ddispatch.c93 TRACE(KERNEL, SC_YIELD, 1);
/barrelfish-2018-10-04/kernel/arch/x86_64/
H A Dsyscall.c59 TRACE(KERNEL, SC_DISP_SETUP, 0);
61 TRACE(KERNEL, SC_DISP_SETUP, 1);
75 TRACE(KERNEL, SC_DISP_PROPS, 0);
78 TRACE(KERNEL, SC_DISP_PROPS, 1);
97 TRACE(KERNEL, SC_RETYPE, 0);
102 TRACE(KERNEL, SC_RETYPE, 1);
122 TRACE(KERNEL, SC_CREATE, 0);
125 TRACE(KERNEL, SC_CREATE, 1);
146 TRACE(KERNEL, SC_MAP, 0);
151 TRACE(KERNEL, SC_MA
[all...]
/barrelfish-2018-10-04/include/bsm/
H A Daudit_record.h189 #if defined(_KERNEL) || defined(KERNEL)
214 #if !defined(KERNEL) && !defined(_KERNEL)
227 #if defined(_KERNEL) || defined(KERNEL)
283 #if defined(_KERNEL) || defined(KERNEL)
H A Daudit.h306 #if !defined(_KERNEL) && !defined(KERNEL)
323 #endif /* defined(_KERNEL) || defined(KERNEL) */
/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dmeta.pl30 % SEPIA PROLOG KERNEL MODULE

Completed in 180 milliseconds