The last user of this function has been removed, so it is no longer
needed.
Signed-off-by: Thierry Reding <thierry.reding@gmail.com>