同じchar配列を書き換えていいのなら、
void rev(char *buf) {
int i, len = strlen(buf);
char c;
for (i = 0; i < len / 2; i++) {
c = buf[i];
buf[i] = buf[len - 1 - i];
buf[len - 1 - i] = c;
}
}
int main() {
char buf[64];
strcpy(buf, "abcdef");
printf("%s\n", buf);
rev(buf);
printf("%s\n", buf);
return 0;
}