BEST PCIe driver
 All Data Structures Files Functions Variables Macros Pages
system_id.h
Go to the documentation of this file.
1 
10 #ifndef SYSTEM_ID_H_
11 #define SYSTEM_ID_H_
12 
13 #include <linux/types.h>
14 #include <linux/module.h>
15 #include <linux/time.h>
16 
20 void print_system_id(uint32_t* base);
21 
26 uint32_t get_system_id(uint32_t* base);
27 
28 #endif /* SYSTEM_ID_H_ */
print_system_id
void print_system_id(uint32_t *base)
Prints system ID on debug stream.
Definition: system_id.c:13
get_system_id
uint32_t get_system_id(uint32_t *base)
Gets system ID.
Definition: system_id.c:36