Man pages matching name px_boot in section 3: