Sockeye TN: Update info about Prolog mapping
[barrelfish] / 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 };