24 lines
733 B
DTD
24 lines
733 B
DTD
<!-- Copyright (C) 2013-2016 Free Software Foundation, Inc.
|
|
|
|
Copying and distribution of this file, with or without modification,
|
|
are permitted in any medium without royalty provided the copyright
|
|
notice and this notice are preserved. -->
|
|
|
|
<!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)>
|