HelenOS sources

BKPOINT_FUNCCALL  210 kernel/arch/mips32/src/debugger.c 		cur->flags = BKPOINT_FUNCCALL;
BKPOINT_FUNCCALL  280 kernel/arch/mips32/src/debugger.c 			    BKPOINT_FUNCCALL) ? "true" : "false"), symbol);
BKPOINT_FUNCCALL  375 kernel/arch/mips32/src/debugger.c 		if (!(cur->flags & BKPOINT_FUNCCALL)) {
BKPOINT_FUNCCALL  402 kernel/arch/mips32/src/debugger.c 	if (cur && (cur->flags & BKPOINT_FUNCCALL)) {