This is then used to implement the userspace dbgprintf() in a far more efficient way than what we had before. :^)