I am using bios_6_33_01_25 and I found that when I call DEV_create, I should pass in a name argument whose string has the same lifetime as the device I am creating. I had mistakenly created the name string on the stack thinking that the string would be copied into the device table and that leads to a corrupted device table. The docs need to be updated to reflect this requirement on the "name" argument
Best Regards,
-DaveN