The mass function of high-redshift seed black holes