Fix tsd_boot1() to use explicit 'void' parameter list.
1 file changed