index
:
linux.git
master
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tools
/
perf
/
util
/
smt.h
blob: b8414b7bcbc87b45a0c38dd7c2829d74a538fe10 (
plain
)
1
2
3
4
5
6
#ifndef SMT_H #define SMT_H 1 int smt_on(void); #endif