Domain/OS calls: kernel_vfmt_$

Domain/OS calls: kernel_vfmt_$

kernel_vfmt_$ == ??