Different device ID reported by statx and /proc/self/maps – Linux btrfs

I’m seeing different values for a mapped file reported by /proc/self/maps and by statx() (strictly speaking that is