fido_credman_rk_remaining
uint64_t fido_credman_rk_remaining(const fido_credman_metadata_t *);
(unsigned long long)fido_credman_rk_remaining(metadata));