Helper utilities for the GPU.
Cache pad a value to avoid false sharing between threads.
A device type specifier
