Although they aren't technically the same thing, I have found that many butchers use the terms interchangeably. Pork hocks tend to be smoked and sold as ham hocks, so if you're shopping for shanks, and can only find hocks, they will work as long as they are fresh and not smoked.