Move PT_UPDATED_FLUSH() before td_locks check in order to have more

coverage also in the XEN case.

Reviewed by:	kib
MFC after:	1 week
This commit is contained in:
attilio 2012-09-08 18:29:53 +00:00
parent 8dece93b14
commit 1e61b37b3f

View File

@ -136,6 +136,9 @@ userret(struct thread *td, struct trapframe *frame)
* Let the scheduler adjust our priority etc.
*/
sched_userret(td);
#ifdef XEN
PT_UPDATES_FLUSH();
#endif
KASSERT(td->td_locks == 0,
("userret: Returning with %d locks held.", td->td_locks));
#ifdef VIMAGE
@ -145,9 +148,6 @@ userret(struct thread *td, struct trapframe *frame)
__func__, td, p->p_pid, td->td_name, curvnet,
(td->td_vnet_lpush != NULL) ? td->td_vnet_lpush : "N/A"));
#endif
#ifdef XEN
PT_UPDATES_FLUSH();
#endif
}
/*