1f7142915d30 ("VMCI: Add support for ARM64")
e283a0e8b7ea ("VMCI: dma dg: add MMIO access to registers")
f2db7361cb19 ("VMCI: Support upto 64-bit PPNs")