Re: /dev/shm - tmpfs_t or device_t ?