diff options
| -rw-r--r-- | fixupdiff.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/fixupdiff.pl b/fixupdiff.pl index 1a49873..2844664 100644 --- a/fixupdiff.pl +++ b/fixupdiff.pl @@ -13,6 +13,8 @@ my @protected_labels = ( 'sec:General Initialization And Device Operation / Device Operation / Receiving Used Buffers From The Device', 'sec:Virtio Transport Options / Virtio Over PCI Bus / PCI-specific Initialization And Device Operation / Notifying The Device', 'sec:Virtio Transport Options / Virtio Over PCI Bus / PCI-specific Initialization And Device Operation / Virtqueue Interrupts From The Device', +'itm:General Initialization And Device Operation / Device Operation / Supplying Buffers to The Device / Place Buffers', +'itm:General Initialization And Device Operation / Device Operation / Supplying Buffers to The Device / Place Index', ); my $lstlisting=0; |