Searched defs:busy_ptr (Results 1 – 1 of 1) sorted by relevance
823 user_addr_t busy_ptr = get_busy_ptr(indices); local840 user_addr_t busy_ptr = get_busy_ptr(indices); local