This example shows how to iterate the virtual hardware descriptors under Fiasco-UX.
#include <l4/sys/ipc.h>
#include <l4/util/util.h>
#include <stdlib.h>
#include <stdio.h>
{
printf("type: %d mem start: %08lx end: %08lx\n"
"irq: %d pid %d\n",
}
int main(void)
{
int i;
if (!kip)
{
printf("KIP not available!\n");
return 1;
}
{
printf("This example is for Fiasco-UX only.\n");
return 1;
}
vhw = l4_vhw_get(kip);
printf("kip at %p, vhw at %p\n", kip, vhw);
printf("magic: %08x, version: %08x, count: %02d\n",
for (i = 0; i < vhw->
count; i++)
print_entry(l4_vhw_get_entry(vhw, i));
return 0;
}