git.barrelfish.org Git - barrelfish/blob - 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 };