Local_mapping now local to Gnttab.