- /* We cleared a page-table entry in the active page
- table, so we have to invalidate the TLB. See
- [IA32-v3], section 3.11. */
+ /* We cleared a page-table entry in the active page table,
+ so we have to invalidate the TLB. See [IA32-v3a] 3.12
+ "Translation Lookaside Buffers (TLBs)". */