Lines Matching defs:xa
2582 XArray* xa;
2586 &keyW, (UWord*)&xa, (UWord)sem )) {
2588 tl_assert(xa);
2589 VG_(addToXA)( xa, &so );
2591 xa = VG_(newXA)( HG_(zalloc), "hg.pSfs.1", HG_(free), sizeof(SO*) );
2592 VG_(addToXA)( xa, &so );
2593 VG_(addToFM)( map_sem_to_SO_stack, (Word)sem, (Word)xa );
2599 XArray* xa;
2603 &keyW, (UWord*)&xa, (UWord)sem )) {
2604 /* xa is the stack for this semaphore. */
2607 sz = VG_(sizeXA)( xa );
2611 so = *(SO**)VG_(indexXA)( xa, sz-1 );
2613 VG_(dropTailXA)( xa, 1 );
2641 XArray* xa = (XArray*)valW;
2643 tl_assert(xa);
2644 tl_assert(VG_(sizeXA)(xa) == 0); /* preceding loop just emptied it */
2645 VG_(deleteXA)(xa);
2769 XArray* waiting; /* XA of Thread*. # present is 0 .. .size */
