Thanks, nice catch....updated.you should probably mention the gdb "core-file" command to reload the core file so that you constantly get up-to-date values of what you're printing.
-- To unsubscribe from this list: send an email with "unsubscribe kernelnewbies" to ecartis@xxxxxxxxxxxx Please read the FAQ at http://kernelnewbies.org/FAQ