/dev/shm - tmpfs_t or device_t ?