def read_addr_range(start, end, addr_space):
 pagesize = 4096
 while (start < end):
  page = addr_space.zread(start, pagesize)
  (yield page)
  start += pagesize

def read_addr_range ( start , end , addr_space ) : pagesize = 4096 while ( start < end ) : page = addr_space . zread ( start , pagesize ) ( yield page ) start += pagesize
read a number of pages .