libdevice = library( 'device', sources: [ 'vdso.c', ], include_directories: common_includes, )