184 	return KERN_SUCCESS;  in host_processors()
243 		return KERN_SUCCESS;  in host_info()
267 		return KERN_SUCCESS;  in host_info()
302 		return KERN_SUCCESS;  in host_info()
311 		return KERN_SUCCESS;  in host_info()
325 		return KERN_SUCCESS;  in host_info()
336 		return KERN_SUCCESS;  in host_info()
359 		return KERN_SUCCESS;  in host_info()
397 		return KERN_SUCCESS;  in host_info()
427 		return KERN_SUCCESS;  in host_statistics()
488 		return KERN_SUCCESS;  in host_statistics()
524 		return KERN_SUCCESS;  in host_statistics()
556 		return KERN_SUCCESS;  in host_statistics()
730 	*ret = KERN_SUCCESS;  in rate_limit_host_statistics()
847 	return KERN_SUCCESS;  in vm_stats()
876 		return KERN_SUCCESS;  in host_statistics64()
887 	kern_return_t ret = KERN_SUCCESS;  in host_statistics64_from_user()
898 	if (ret != KERN_SUCCESS) {  in host_statistics64_from_user()
904 	if (ret == KERN_SUCCESS) {  in host_statistics64_from_user()
914 	kern_return_t ret = KERN_SUCCESS;  in host_statistics_from_user()
925 	if (ret != KERN_SUCCESS) {  in host_statistics_from_user()
931 	if (ret == KERN_SUCCESS) {  in host_statistics_from_user()
952 	return KERN_SUCCESS;  in set_sched_stats_active()
1005 	return KERN_SUCCESS;  in get_sched_statistics()
1017 	return KERN_SUCCESS;  in host_page_size()
1035 	return KERN_SUCCESS;  in host_kernel_version()
1065 	return KERN_SUCCESS;  in host_processor_sets()
1084 	return KERN_SUCCESS;  in host_processor_set_priv()
1115 	if (result != KERN_SUCCESS) {  in host_processor_info()
1125 	if (result != KERN_SUCCESS) {  in host_processor_info()
1138 		if (result != KERN_SUCCESS) {  in host_processor_info()
1151 	assert(result == KERN_SUCCESS);  in host_processor_info()
1153 	assert(result == KERN_SUCCESS);  in host_processor_info()
1159 	return KERN_SUCCESS;  in host_processor_info()
1206 	return KERN_SUCCESS;  in kernel_set_special_port()
1222 	return KERN_SUCCESS;  in kernel_get_special_port()
1337 	return KERN_SUCCESS;  in host_get_special_port()
1400 	return KERN_SUCCESS;  in host_set_multiuser_config_flags()