problem with the mutex core

In the handbook, the function that retrieves a pointer to a hardware mutex device structure is altera_avalon_mutex_open(), but its prototype is given by alt_hardware_mutex_open(const char *name), which is different. Is there any mistake?