Commit c1d1547d authored by Andreas Marek's avatar Andreas Marek
Browse files

C interfaces for device pointer routines

parent 32cb52a3