Thank you for the reply!

I have tried statfs, but unfortunately it doesn't give the right values. If I compare the statfs's values to the values of Control panel -> Memory, they are quite different.