Searched refs:save_ceiling (Results 1 - 1 of 1) sorted by relevance
/freebsd-10-stable/sys/kern/ | ||
H A D | kern_umtx.c | 2537 uint32_t save_ceiling; local 2559 rv = fueword32(&m->m_ceilings[0], &save_ceiling); 2611 suword32(old_ceiling, save_ceiling); |
Completed in 118 milliseconds