HelenOS sources
ARG_TYPE_INT 64 kernel/arch/mips32/src/debugger.c .type = ARG_TYPE_INT
ARG_TYPE_INT 76 kernel/arch/mips32/src/debugger.c .type = ARG_TYPE_INT
ARG_TYPE_INT 88 kernel/arch/mips32/src/debugger.c { .type = ARG_TYPE_INT },
ARG_TYPE_INT 89 kernel/arch/mips32/src/debugger.c { .type = ARG_TYPE_INT }
ARG_TYPE_INT 92 kernel/generic/src/console/cmd.c static cmd_arg_t pio_read_8_argv[] = { { .type = ARG_TYPE_INT } };
ARG_TYPE_INT 103 kernel/generic/src/console/cmd.c static cmd_arg_t pio_read_16_argv[] = { { .type = ARG_TYPE_INT } };
ARG_TYPE_INT 114 kernel/generic/src/console/cmd.c static cmd_arg_t pio_read_32_argv[] = { { .type = ARG_TYPE_INT } };
ARG_TYPE_INT 126 kernel/generic/src/console/cmd.c { .type = ARG_TYPE_INT },
ARG_TYPE_INT 127 kernel/generic/src/console/cmd.c { .type = ARG_TYPE_INT }
ARG_TYPE_INT 140 kernel/generic/src/console/cmd.c { .type = ARG_TYPE_INT },
ARG_TYPE_INT 141 kernel/generic/src/console/cmd.c { .type = ARG_TYPE_INT }
ARG_TYPE_INT 154 kernel/generic/src/console/cmd.c { .type = ARG_TYPE_INT },
ARG_TYPE_INT 155 kernel/generic/src/console/cmd.c { .type = ARG_TYPE_INT }
ARG_TYPE_INT 222 kernel/generic/src/console/cmd.c .type = ARG_TYPE_INT,
ARG_TYPE_INT 291 kernel/generic/src/console/cmd.c .type = ARG_TYPE_INT
ARG_TYPE_INT 490 kernel/generic/src/console/cmd.c .type = ARG_TYPE_INT,
ARG_TYPE_INT 538 kernel/generic/src/console/cmd.c .type = ARG_TYPE_INT,
ARG_TYPE_INT 552 kernel/generic/src/console/cmd.c .type = ARG_TYPE_INT,
ARG_TYPE_INT 565 kernel/generic/src/console/cmd.c .type = ARG_TYPE_INT,
ARG_TYPE_INT 745 kernel/generic/src/console/kconsole.c case ARG_TYPE_INT:
ARG_TYPE_INT 765 kernel/generic/src/console/kconsole.c cmd->argv[i].vartype = ARG_TYPE_INT;
HelenOS homepage, sources at GitHub