Debido a que la frecuencia de salida es 10kHz lo más aconsejable es utilizar un PWM con Duty 50%. Este método te evita tener que ejecutar código cada 100us solamente para cambiar el estado de un pin del uC. Aunque parezca un poco sórdido esa sola función se comerá una parte muy considerable de tu tiempo de procesamiento, y si es sólo para hacer sonar una bocina/buzer no vale la pena.
Sin embargo con el PWM no tienes que estar al tanto de cambiar el estado del pin, de eso se encarga el módulo OCC (Output Capture/Compare), claro que eso consume un TIMER y un OCC, pero no gastas tiempo valioso de computación en cambiar el estado del pin. En este caso cada vez que quieras hacer sonar la bocina activas el OCC y cuando la quieras apagar lo deshabilitas y listo. Generar el tren de pulsos de 10kHz es responsabilidad del OCC.
Además en este caso no te hace falta la librería de la que hablas para esta función, simplemente configurar el OCC+TIMER y funciones (o macros) para deshabilitar/habilitar el sonido.
Un saludo
Reinier