I can not understand the logic behind format_dev_t, it takes 2 arguments, char *buffer which will hold the result of that function, and dev_t dev
format_dev_t
char *buffer
dev_t dev