git.barrelfish.org Git - barrelfish/blob - schemas/pci.sks

   1 schema pci "" {
   2
   3     fact memoryregion "" {
   4         uintptr BaseAddress "";
   5         uint8 Bits "";
   6         uintptr Size "";
   7     };
   8
   9     /* We want to mark this as a non-top level fact */
  10     fact addr "" {
  11         uint8 bus "";
  12         uint8 device "";
  13         uint8 function "";
  14     };
  15
  16     fact childbus "" {
  17         uint8 min "";
  18         uint8 max "";
  19     };
  20
  21     fact mem "" {
  22         uintptr start "";
  23         uintptr end "";
  24     };
  25
  26     fact core "" {
  27         uint8 acpiid "";
  28     };
  29
  30
  31
  32     /*fact rootbridge "" {
  33         fact addr addr "";
  34         fact childbus child "";
  35         fact mem range "";
  36     };*/
  37 };