Searched refs:bindx (Results 1 – 1 of 1) sorted by relevance
464 uint32_t bindx; in kernel_debug_write() local511 bindx = kdsp_actual->kds_bufindx; in kernel_debug_write()514 bindx = kd_ctrl_page->kdebug_events_per_storage_unit; in kernel_debug_write()517 if (kdsp_actual == NULL || bindx >= kd_ctrl_page->kdebug_events_per_storage_unit) { in kernel_debug_write()546 if (!OSCompareAndSwap(bindx, bindx + 1, &kdsp_actual->kds_bufindx)) { in kernel_debug_write()550 kd = &kdsp_actual->kds_records[bindx]; in kernel_debug_write()