Re: Querying the size of devdax devices from userspace