repo.or.cz
/
smatch.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
type: introduce get_final_type()
[smatch.git]
/
validation
/
attr-optimize.c
blob
c45cbe8994a9263d420b7bbf1810ff8015cb4620
1
2
#define __noclone __attribute__((__noclone__, __optimize__(
"no-tracer"
)))
3
4
struct
kvm_vcpu
;
5
6
static void
__noclone
vmx_vcpu_run
(
struct
kvm_vcpu
*
vcpu
)
7
{
8
__asm__
(
""
);
9
}
10
11
extern
void
*
run
;
12
void
*
run
=
vmx_vcpu_run
;
13
14
/*
15
* check-name: optimize attributes
16
*/