What does starvation freedom exactly mean?
You cannot imply starvation freedom as definite waiting just because the definition of starvation says that the low priority processes have to wait indefinitely.
From Raynal,

Starvation freedom means that a process that wants to enter the critical section can be bypassed an arbitrary but finite number of times by each other process.


Concurrent Programming: Algorithms, Principles, and Foundations
By Michel Raynal