#include "../powerpc64/syscallent.h"