replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse
[barrelfish] / schemas / cpuid.sks
1 schema cpuid "Documentation for the CPUID schema." {
2
3     typedef uint8 core_id;
4
5     fact vendor "Vendor of a CPU" {
6         core_id Core_ID "CPU ID";
7         string vendor "Vendor string";
8     };
9
10     fact family {
11         core_id Core_ID;
12         string Vendor_String;
13         uint64 Family;
14         uint64 Model;
15         uint64 Stepping;
16     };
17
18     fact thread {
19         core_id Core_ID;
20         uint64 Package;
21         uint64 Core;
22         uint64 HyperThread;
23     };
24
25     fact cache {
26         core_id Core_ID;
27         string Name;
28         uint8 Level;
29         string type; //data|instr|unified;
30         uint64 Size;
31         uint8 Associativity;
32         uint8 LineSize;
33         uint8 Shared;
34         uint64 Inclusive;
35     };
36
37     fact tlb {
38         core_id Core_ID;
39         string type; //data|instr|unified;
40         uint8 level;
41         uint64 PageSize;
42         uint64 Entries;
43         uint64 Associativity;
44     };
45
46     fact addrspace {
47         core_id Core_ID;
48         uint8 BitsPhys;
49         uint8 BitsVirt;
50         uint8 BitsGuest;
51     };
52
53 };