#include <sys/types.h>
#include <ipc/devmap.h>
#include <fibril_synch.h>
Go to the source code of this file.
Definition in file cuda_adb.h.