Edit: gntalloc.h