arg13            1691 arch/parisc/kernel/firmware.c 	unsigned int arg13;
arg13            1732 arch/parisc/kernel/firmware.c 	real_stack.arg13 = va_arg(args, unsigned int);
arg13            1755 arch/parisc/kernel/firmware.c 	unsigned long arg13;
arg13            1783 arch/parisc/kernel/firmware.c 	real64_stack.arg13 = va_arg(args, unsigned long);