Lines Matching defs:xa
2548 XArray* xa;
2552 &keyW, (UWord*)&xa, (UWord)sem )) {
2554 tl_assert(xa);
2555 VG_(addToXA)( xa, &so );
2557 xa = VG_(newXA)( HG_(zalloc), "hg.pSfs.1", HG_(free), sizeof(SO*) );
2558 VG_(addToXA)( xa, &so );
2559 VG_(addToFM)( map_sem_to_SO_stack, (Word)sem, (Word)xa );
2565 XArray* xa;
2569 &keyW, (UWord*)&xa, (UWord)sem )) {
2570 /* xa is the stack for this semaphore. */
2573 sz = VG_(sizeXA)( xa );
2577 so = *(SO**)VG_(indexXA)( xa, sz-1 );
2579 VG_(dropTailXA)( xa, 1 );
2607 XArray* xa = (XArray*)valW;
2609 tl_assert(xa);
2610 tl_assert(VG_(sizeXA)(xa) == 0); /* preceding loop just emptied it */
2611 VG_(deleteXA)(xa);
2735 XArray* waiting; /* XA of Thread*. # present is 0 .. .size */
