/* x32 personality */ #include "../x32/syscallent.h"