From 048789fdce6b406de3b7149f8171afd63eea1829 Mon Sep 17 00:00:00 2001 From: Patrick Williams Date: Tue, 3 Jan 2012 11:10:42 -0600 Subject: Fix race condition between stackmanager and vmmmanager. Change-Id: Ie3f3fb2050428af1fc398b1577dfc090cd7d26cf Reviewed-on: http://gfw160.austin.ibm.com:8080/gerrit/591 Tested-by: Jenkins Server Reviewed-by: MIKE J. JONES Reviewed-by: Melissa J. Connell Reviewed-by: Douglas R. Gilbert Reviewed-by: MATTHEW S. BARTH --- src/include/kernel/stacksegment.H | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/include/kernel/stacksegment.H') diff --git a/src/include/kernel/stacksegment.H b/src/include/kernel/stacksegment.H index 2d3474dc6..460a61b49 100644 --- a/src/include/kernel/stacksegment.H +++ b/src/include/kernel/stacksegment.H @@ -108,6 +108,8 @@ class StackSegment : public Segment * @brief Delete previously created stack for a task. * * @param i_task - Task ID of task owning the stack. + * + * @note This function obtains the VMM-subsystem spinlock. */ static void deleteStack(tid_t i_task); -- cgit v1.2.3