Use `VK_KHR_buffer_device_address` extensions?

[ghost]

I suggest using the real device buffer address for pointers. And use the extension VK_KHR_buffer_device_address. For passing in device, I suggest using inline uniform or push constant.

Also, I suggest using VK_KHR_workgroup_memory_explicit_layout extensions.