Searched refs:save_ceiling (Results 1 - 1 of 1) sorted by relevance
| /freebsd-10.0-release/sys/kern/ | ||
| H A D | kern_umtx.c | 2422 uint32_t save_ceiling; local 2442 save_ceiling = fuword32(&m->m_ceilings[0]); 2493 suword32(old_ceiling, save_ceiling); |
Completed in 71 milliseconds