kitten/kernel/show.c

   1 #include <lwk/kernel.h>
   2 #include <lwk/show.h>
   3
   4 /**
   5  * Prints the contents of memory in hex to the console.
   6  * The region printed starts at vaddr and extends n unsigned longs.
   7  */
   8 void
   9 show_memory(unsigned long vaddr, size_t n)
  10 {
  11         int i;
  12
  13         for (i = 0; i < n; i++) {
  14                 printk(KERN_DEBUG "0x%016lx: 0x%08x_%08x\n",
  15                         vaddr,
  16                         *((unsigned int *)(vaddr+4)),
  17                         *((unsigned int *)(vaddr))
  18                 );
  19                 vaddr += sizeof(unsigned long);
  20         }
  21 }
  22