Searched refs:save_ceiling (Results 1 – 1 of 1) sorted by relevance
2383 uint32_t flags, id, owner, save_ceiling; in do_set_ceiling() local2404 rv = fueword32(&m->m_ceilings[0], &save_ceiling); in do_set_ceiling()2465 rv = suword32(old_ceiling, save_ceiling); in do_set_ceiling()