printk: change type of 'boot_delay' to int *
authorNamhyung Kim <namhyung@gmail.com>
Tue, 26 Oct 2010 21:22:48 +0000 (14:22 -0700)
committerLinus Torvalds <torvalds@linux-foundation.org>
Tue, 26 Oct 2010 23:52:16 +0000 (16:52 -0700)
commit674dff6507d3f9b110219ea125cf5e1213c9acef
treece1799340d42aa814e6b4d4311c6bcf6ff2c5f5c
parent8155c02a44a95562e1ae0999360eb31288d7195a
printk: change type of 'boot_delay' to int *

get_option() takes its 2nd arg as int * so passing boot_delay to it
caused following warnings from sparse:

 kernel/printk.c:223:27: warning: incorrect type in argument 2 (different signedness)
 kernel/printk.c:223:27:    expected int *pint
 kernel/printk.c:223:27:    got unsigned int static [toplevel] *<noident>

Since boot_delay can't grow more than 10,000 changing it to 'int *'
will not produce any problem.

Signed-off-by: Namhyung Kim <namhyung@gmail.com>
Cc: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
kernel/printk.c