Sign in
qemu
/
qemu
/
54fa79b793fcf00625be235588703fb3adbcd104
/
docs
/
spin
/
tcg-exclusive.promela
ac06724
docs: create config/, devel/ and spin/ subdirectories
by Paolo Bonzini
· 8 years ago
[Renamed from docs/tcg-exclusive.promela]
c265e97
cpus-common: lock-free fast path for cpu_exec_start/end
by Paolo Bonzini
· 8 years ago
758e1b2
cpus-common: simplify locking for start_exclusive/end_exclusive
by Paolo Bonzini
· 8 years ago
cf07da6
cpus-common: remove redundant call to exclusive_idle()
by Paolo Bonzini
· 8 years ago
a200f2f
docs: include formal model for TCG exclusive sections
by Paolo Bonzini
· 8 years ago