| <!-- Copyright (C) 2013-2021 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)> |