diff options
-rw-r--r-- | documentation/profile-manual/profile-manual-usage.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation/profile-manual/profile-manual-usage.xml b/documentation/profile-manual/profile-manual-usage.xml index 51c483b700..12323ed7e7 100644 --- a/documentation/profile-manual/profile-manual-usage.xml +++ b/documentation/profile-manual/profile-manual-usage.xml | |||
@@ -950,7 +950,7 @@ | |||
950 | </literallayout> | 950 | </literallayout> |
951 | The end result is a summary of all the events recorded in the | 951 | The end result is a summary of all the events recorded in the |
952 | trace: | 952 | trace: |
953 | <literallayout> | 953 | <literallayout class='monospaced'> |
954 | skb__skb_copy_datagram_iovec 13148 | 954 | skb__skb_copy_datagram_iovec 13148 |
955 | irq__softirq_entry 4796 | 955 | irq__softirq_entry 4796 |
956 | irq__irq_handler_exit 3805 | 956 | irq__irq_handler_exit 3805 |