Get all push token of a user

Is there a way to get all the push token from a user??

There exist only 3 push token endpoint, but with none I can get all the push tokens configured to the user.

My use case is that I need to admin (add/delete) the push token of the user at any moment, I use my custom gateway for notifications.