Here's a pseudo-C code that describes a function to free dynamically allocated memory for an integer array:
```
// Function to free dynamically allocated memory for an integer array
void freeIntArray(int* arr) {
// Free the memory allocated for the array
free(arr);
}
```
In the above code, the function `freeIntArray` takes in a pointer to an integer array as input. It uses the `free` function from the `<stdlib.h>` library to deallocate the memory previously allocated for the array.
To use this function, you can pass the dynamically allocated integer array as an argument to the `freeIntArray` function. For example:
```c
int* myArray = malloc(5 * sizeof(int)); // Dynamically allocate memory for an integer array
// ... Code to work with the array ...
freeIntArray(myArray); // Free the dynamically allocated memory
```
Make sure to include the `<stdlib.h>` header in your actual C code to use the `free` function.