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