l4/pkg/io/server/src/gpio.cc

   1 #include "gpio"
   2
   3 void
   4 Gpio_resource::dump(int indent) const
   5 { printf("<%p>", this);
   6   //bool abs = true;
   7
   8   //if (!valid())
   9   //  return;
  10
  11   l4_uint64_t s, e;
  12   s = start();
  13   e = end();
  14
  15   printf("%*.s%s%c [%014llx-%014llx %llx] (dev=%p:%s)\n",
  16          indent, " ",
  17          "GPIO", provided() ? '*' : ' ',
  18          s, e, (l4_uint64_t)size(),
  19          _hw, _hw ? _hw->name() : "(NULL)");
  20 }
  21