BEST PCIe driver
Main Page
Data Structures
Files
File List
Globals
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
system_id
system_id.h
Generated on Sat Jul 11 2015 09:56:52 for BEST PCIe driver by
1.8.6