summaryrefslogtreecommitdiffstats
path: root/sys/amd64
diff options
context:
space:
mode:
authorattilio <attilio@FreeBSD.org>2007-09-20 20:38:43 +0000
committerattilio <attilio@FreeBSD.org>2007-09-20 20:38:43 +0000
commite25b203061b232137e025efc647ecdab594849dd (patch)
tree1d744e733c0ca39255ebe0ac9fa96c43caf85983 /sys/amd64
parent038cf0387bda3b49244f9b6841710beb211ddb19 (diff)
downloadFreeBSD-src-e25b203061b232137e025efc647ecdab594849dd.zip
FreeBSD-src-e25b203061b232137e025efc647ecdab594849dd.tar.gz
Fix some entries in the locks static table of witness.
In particular: - smp_tlb_mtx is no longer used, so it is axed. - smp rendezvous lock isn't really a leaf spin-mutex. Its bad placement in the table, however, has been the source of a false positive LOR reporting with the dt_lock. However, smp rendezvous lock would have had sched_lock there for older lock, so it wasn't still a leaf lock. - allpmaps is only used in ia32 architecture, so it is inserted in the appropriate stub. Addictionally: - kse_zombie_lock is no longer present, so its definition is axed out. - zombie_lock doesn't need to have an exported symbol, so just let's it be declared as static. Tested by: kris Approved by: jeff (mentor) Approved by: re
Diffstat (limited to 'sys/amd64')
-rw-r--r--sys/amd64/include/smp.h1
1 files changed, 0 insertions, 1 deletions
diff --git a/sys/amd64/include/smp.h b/sys/amd64/include/smp.h
index cafe4cd..d85c55e 100644
--- a/sys/amd64/include/smp.h
+++ b/sys/amd64/include/smp.h
@@ -34,7 +34,6 @@ extern u_int32_t mptramp_pagetables;
extern int mp_naps;
extern int boot_cpu_id;
extern struct pcb stoppcbs[];
-extern struct mtx smp_tlb_mtx;
extern int cpu_apic_ids[];
/* IPI handlers */
OpenPOWER on IntegriCloud