diff options
Diffstat (limited to 'gdb/features')
| -rw-r--r-- | gdb/features/btrace-conf.dtd | 5 | ||||
| -rw-r--r-- | gdb/features/btrace.dtd | 14 |
2 files changed, 17 insertions, 2 deletions
diff --git a/gdb/features/btrace-conf.dtd b/gdb/features/btrace-conf.dtd index 588bb80..7ccd401 100644 --- a/gdb/features/btrace-conf.dtd +++ b/gdb/features/btrace-conf.dtd @@ -4,8 +4,11 @@ are permitted in any medium without royalty provided the copyright notice and this notice are preserved. --> -<!ELEMENT btrace-conf (bts?)> +<!ELEMENT btrace-conf (bts?, pt?)> <!ATTLIST btrace-conf version CDATA #FIXED "1.0"> <!ELEMENT bts EMPTY> <!ATTLIST bts size CDATA #IMPLIED> + +<!ELEMENT pt EMPTY> +<!ATTLIST pt size CDATA #IMPLIED> diff --git a/gdb/features/btrace.dtd b/gdb/features/btrace.dtd index 7fffc3c..b3a6db2 100644 --- a/gdb/features/btrace.dtd +++ b/gdb/features/btrace.dtd @@ -4,9 +4,21 @@ are permitted in any medium without royalty provided the copyright notice and this notice are preserved. --> -<!ELEMENT btrace (block)* > +<!ELEMENT btrace (block* | pt)> <!ATTLIST btrace version CDATA #FIXED "1.0"> <!ELEMENT block EMPTY> <!ATTLIST block begin CDATA #REQUIRED end CDATA #REQUIRED> + +<!ELEMENT pt (pt-config?, raw?)> + +<!ELEMENT pt-config (cpu?)> + +<!ELEMENT cpu EMPTY> +<!ATTLIST cpu vendor CDATA #REQUIRED + family CDATA #REQUIRED + model CDATA #REQUIRED + stepping CDATA #REQUIRED> + +<!ELEMENT raw (#PCDATA)> |