Searched refs:XNUSemantics (Results 1 – 1 of 1) sorted by relevance
33 XNUSemantics enumerator82 AcquireLock(C, CE, state->getSVal(CE->getArg(0)), false, XNUSemantics); in checkPostStmt()90 AcquireLock(C, CE, state->getSVal(CE->getArg(0)), true, XNUSemantics); in checkPostStmt()138 case XNUSemantics: in AcquireLock()155 assert((semantics == XNUSemantics) && "Unknown locking semantics"); in AcquireLock()