This line assumes that the gva passed is from the same address and so may cause error when the read_memory. It requires the fault handler to properly use read_memory only when (gva, data.len()) region does not cross page.