#ifndef __LITMUS_NVIDIA_H
#define __LITMUS_NVIDIA_H

#include <litmus/litmus_softirq.h>

int init_nvidia_info(void);

int is_nvidia_func(void *func);

int is_nvidia_in_callstack(void);

// Returns the Nvidia device # associated with the
// provided tasklet.
u32 get_nv_device_num(const struct tasklet_struct *t);

#endif