On Thu, Jul 8, 2010 at 01:19, Robert P. J. Day <rpjday@xxxxxxxxxxxxxx> wrote: > however, since this *is* a 64-bit system, i apparently have no such > symbol, i would just use: > > (gdb) p __jiffies > $12 = 4294937296 > (gdb) p __jiffies > $13 = 4294937296 > (gdb) p __jiffies > $14 = 4294937296 two things I would check first: - is the vmlinux file really the kernel uncompressed image of current running kernel? - is your gdb capable to interpret 64 bit data and "report" it in 32 bit realm? CMIIW people -- regards, Mulyadi Santosa Freelance Linux trainer and consultant blog: the-hydra.blogspot.com training: mulyaditraining.blogspot.com -- To unsubscribe from this list: send an email with "unsubscribe kernelnewbies" to ecartis@xxxxxxxxxxxx Please read the FAQ at http://kernelnewbies.org/FAQ