alt_timestamp_start?

I was trying to use the Hi-Res Timer, but NIOS II IDE Version 1.1.0 gave me the following error

"Error undefined reference to `alt_timestamp_start' hello_world.c hello_world_0 line 24"

for the following simple code:

# include <stdio.h># include <alt_types.h># include "sys/alt_timestamp.h"

int main()

{

printf("Hello from Nios II!\n");

alt_timestamp_start(); // Tried to use Hi-Res Timer

return 0;

}

The example "Dhrystone" did work.

Thanks for any suggestions.