CVS commit: src/sys/arch/x86/x86

[Allen Briggs <briggs%netbsd.org@localhost>]

Module Name:    src
Committed By:   briggs
Date:           Tue Jul  3 22:58:07 UTC 2007

Modified Files:
        src/sys/arch/x86/x86: ipmi.c

Log Message:
Use PRIx64 for a 64-bit quantity instead of llx in a debug print.


To generate a diff of this commit:
cvs rdiff -r1.7 -r1.8 src/sys/arch/x86/x86/ipmi.c

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.