Memory allocation on the device (GPU).
Additional pointer for device memory in MemAlignedAlloc interface.
Signed-off-by: Tommaso Zanelli t.zanelli@cineca.it
Additional pointer for device memory in MemAlignedAlloc interface.
Signed-off-by: Tommaso Zanelli t.zanelli@cineca.it