devices: reformatting of VTd device spec
@@ -45,7 +45,7 @@ device vtd msbfirst ( addr base ) "VT-d" {
};
// Context-entries have the same DID iff their SLPTPTR values are the same.
- datatype context_entry "Context Entry" {
+ datatype ctxt_entry "Context Entry" {
_ 40 mbz;
did 16 "Domain Identifier";
_ 1 mbz;
@@ -58,7 +58,7 @@ device vtd msbfirst ( addr base ) "VT-d" {
p 1 "Present";
};
- datatype ext_context_entry "Extended Context Entry" {
+ datatype ext_ctxt_entry "Extended Context Entry" {
pasidstptr 52 "PASID State Table Pointer";
_ 12 mbz "Reserved";
pasidptr 52 "PASID Pointer Table";
@@ -110,7 +110,10 @@ device vtd msbfirst ( addr base ) "VT-d" {
};
register CAP addr(base, 0x008) "Capability Register" {
- _ 7 mbz;
+ _ 3 rsvd;
+ lp5 1 ro "Supports 5-level paging";
+ pi 1 ro "Posted Interrupts Supported";
+ _ 2 rsvd;
fl1gp 1 ro "First Level 1-GByte Page Support";
drd 1 ro "Read Draining";
dwd 1 ro "Write Draining";
@@ -126,7 +129,8 @@ device vtd msbfirst ( addr base ) "VT-d" {
zlr 1 ro "Zero Length Read";
mgaw 6 ro "Maximum Guest Address Width";
_ 3 mbz;
- _ 2 mbz "Supported Adjusted Guest Address Widths - reserved";
+ _ 1 mbz "Supported Adjusted Guest Address Widths - reserved";
+ sagaw57 1 ro "Supported Adjusted Guest Address Widths - 57-bit AGAW (5-level page-table)";
sagaw48 1 ro "Supported Adjusted Guest Address Widths - 48-bit AGAW (4-level page-table)";
sagaw39 1 ro "Supported Adjusted Guest Address Widths - 39-bit AGAW (3-level page-table)";
_ 1 mbz "Supported Adjusted Guest Address Widths - reserved";
@@ -139,7 +143,9 @@ device vtd msbfirst ( addr base ) "VT-d" {
};
register ECAP addr(base, 0x010) "Extended Capability Register" {
- _ 24 mbz;
+ _ 22 mbz;
+ pdf 1 ro "Page-request drain";
+ dit 1 ro "device TLB invalidation throttle";
pss 5 ro "PASID Size Supported";
eafs 1 ro "Extended Accessed Flag Support";
nwfs 1 ro "No Write Flag Support";
