在驱动程序中格式化输出应该使用什么函数？

《windows驱动开发技术详解》上说不建议直接使用strcpy、sprintf的函数，而应当使用Rtlxxx，可是我并没有找到
sprintf、swprintf的代替品呢？请问有没有与之对应的Rtl函数呢？如果没有，应该怎么实现格式化输出到字符串的功能呢？