Assertion: semaphore | /r/AtLocation | shared memory
Facets:
Source sentences:
text: If pshared is not zero, the semaphore is shared but should be in shared memory.