Searched refs:apix_wait_till_seen (Results 1 – 1 of 1) sorted by relevance
80 static void apix_wait_till_seen(processorid_t, int);607 apix_wait_till_seen(cpuid, ipl); in apix_obsolete_vector()873 apix_wait_till_seen(processorid_t cpuid, int ipl) in apix_wait_till_seen() function928 apix_wait_till_seen(vecp->v_cpuid, target->av_prilevel); in apix_remove_av()