39.1.4 IEEE 64-bit unique device ID register (UID64)
Maybe that's what you're looking for.
Please look for UID64_BASE in the HAL.
In order to give better visibility on the answered topics, please click on 'Best answer' on the reply which solved your issue or answered your question.