if the buffer that contains the first tag value is not present in the first list of buffers, then performing steps comprising:

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

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

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

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