audk/OvmfPkg/Library/TdxMailboxLib
..
TdxMailbox.c
TdxMailboxLib.inf
TdxMailboxNull.c