ZED board clock speed

Is there a way to find out what clock speed the ARM CPUs are running at when the board is booted using the Linux kernel that comes with the Zynq support package? I am running some Simulink model benchmarks in External mode on the ZED board and using the profiling timer to measure how long it takes to execute a given function. The profiling timer returns time in nanoseconds. However, I also need to know how fast the CPU is being clocked. The Linux kernel does not say what the clock speed is and none of the 'standard' Linux methods for finding the clock speed seem to work. I know I can also use the built-in profiling methods but the same question about CPU clock speed applies.