Update xlat.c