Add missing splx(s)

drahn · drahn · commit e1f91fc25f2c · 2016-11-07T13:16:01.000-08:00
diff --git a/sys/arch/arm64/arm64/pmap.c b/sys/arch/arm64/arm64/pmap.c
@@ -630,6 +630,7 @@ pmap_remove_pted(pmap_t pm, struct pte_desc *pted)
 
 	if (pm != pmap_kernel())
 		pool_put(&pmap_pted_pool, pted);
+	splx(s);
 }
 
 

Original file line number	Diff line number	Diff line change
`@@ -630,6 +630,7 @@ pmap_remove_pted(pmap_t pm, struct pte_desc *pted)`
`630`	`630`
`631`	`631`	`if (pm != pmap_kernel())`
`632`	`632`	`pool_put(&pmap_pted_pool, pted);`
	`633`	`+ splx(s);`
`633`	`634`	`}`
`634`	`635`
`635`	`636`