Searched refs:old_ceiling (Results 1 – 1 of 1) sorted by relevance
2380 uint32_t *old_ceiling) in do_set_ceiling() argument2464 if (error == 0 && old_ceiling != NULL) { in do_set_ceiling()2465 rv = suword32(old_ceiling, save_ceiling); in do_set_ceiling()