- } while (!OSCompareAndSwap((UInt32)page->entries[DTRACE_PTSS_ENTRIES_PER_PAGE-1].next,
- (UInt32)&page->entries[0],
- (volatile UInt32 *)&p->p_dtrace_ptss_free_list));
+ } while (!OSCompareAndSwapPtr((void *)page->entries[DTRACE_PTSS_ENTRIES_PER_PAGE-1].next,
+ (void *)&page->entries[0],
+ (void * volatile *)&p->p_dtrace_ptss_free_list));