/* Pushes a 64 bit unsigned value to the VM stack. */
VOID PushU64(IN VM_CONTEXT *VmPtr, IN UINT64 Arg)
/* Pushes a 64 bit unsigned value to the VM stack. */
VOID PushU64(IN VM_CONTEXT *VmPtr, IN UINT64 Arg)
{
  VmPtr->Gpr[0]           -= sizeof (UINT64);
  *(UINT64 *)VmPtr->Gpr[0] = Arg;
  return;
}