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