reading a first tag value from a buffer that is located at a particular memory address;

generating a first hash value based on the first tag value;

determining whether a buffer that contains the first tag value is present in a first list of buffers to which a hash bucket that corresponds to the first hash value refers; and

if the buffer that contains the first tag value is present in the first list of buffers, then concluding that the particular buffer is included in the page tables.