A general theory of regularity for Lorentzian Busemann functions in fu
ture timelike geodesically complete spacetimes is presented. This trea
tment simplifies and extends the local regularity developed by Eschenb
urg, Galloway and Newman to prove the Lorentzian splitting theorem. Cr
iteria for global regularity are obtained and used to improve results
in the literature pertaining to a conjecture of Bartnik.