IPv4Mappedアドレスの出力の仕方

イベントログに記録されているIPアドレスの形式について質問です。

WindowsのServer系OSで、イベントログの「セキュリティ」に接続元IPアドレスが記録されているのですが、それが以下のような

::ffff:[ipv4アドレス]

という「IPv4Mappedアドレス形式」で記録されることはあるのでしょうか？

もしその方法を知っている方がいらっしゃれば教えていただきたいです。

▼対象環境

・Windows2003

・Windows2008

・Windows2008R2