CLOSE_INVALIDATE 1423 thread_pthread.c 	CLOSE_INVALIDATE(normal[0]);
CLOSE_INVALIDATE 1424 thread_pthread.c 	CLOSE_INVALIDATE(normal[1]);
CLOSE_INVALIDATE 1568 thread_pthread.c     CLOSE_INVALIDATE(normal[0]);
CLOSE_INVALIDATE 1569 thread_pthread.c     CLOSE_INVALIDATE(low[0]);
CLOSE_INVALIDATE 1632 thread_pthread.c 	    CLOSE_INVALIDATE(normal[0]);
CLOSE_INVALIDATE 1633 thread_pthread.c 	    CLOSE_INVALIDATE(normal[1]);
CLOSE_INVALIDATE 1634 thread_pthread.c 	    CLOSE_INVALIDATE(low[0]);
CLOSE_INVALIDATE 1635 thread_pthread.c 	    CLOSE_INVALIDATE(low[1]);
CLOSE_INVALIDATE 1668 thread_pthread.c 	CLOSE_INVALIDATE(normal[1]);
CLOSE_INVALIDATE 1669 thread_pthread.c 	CLOSE_INVALIDATE(low[1]);