Added Gnt.Gnttap.{map_exn, mapv_exn} functions.