184 	return KERN_SUCCESS;  in host_processors()
242 		return KERN_SUCCESS;  in host_info()
266 		return KERN_SUCCESS;  in host_info()
301 		return KERN_SUCCESS;  in host_info()
310 		return KERN_SUCCESS;  in host_info()
324 		return KERN_SUCCESS;  in host_info()
335 		return KERN_SUCCESS;  in host_info()
358 		return KERN_SUCCESS;  in host_info()
396 		return KERN_SUCCESS;  in host_info()
426 		return KERN_SUCCESS;  in host_statistics()
487 		return KERN_SUCCESS;  in host_statistics()
523 		return KERN_SUCCESS;  in host_statistics()
555 		return KERN_SUCCESS;  in host_statistics()
729 	*ret = KERN_SUCCESS;  in rate_limit_host_statistics()
846 	return KERN_SUCCESS;  in vm_stats()
875 		return KERN_SUCCESS;  in host_statistics64()
886 	kern_return_t ret = KERN_SUCCESS;  in host_statistics64_from_user()
897 	if (ret != KERN_SUCCESS) {  in host_statistics64_from_user()
903 	if (ret == KERN_SUCCESS) {  in host_statistics64_from_user()
913 	kern_return_t ret = KERN_SUCCESS;  in host_statistics_from_user()
924 	if (ret != KERN_SUCCESS) {  in host_statistics_from_user()
930 	if (ret == KERN_SUCCESS) {  in host_statistics_from_user()
951 	return KERN_SUCCESS;  in set_sched_stats_active()
1004 	return KERN_SUCCESS;  in get_sched_statistics()
1016 	return KERN_SUCCESS;  in host_page_size()
1034 	return KERN_SUCCESS;  in host_kernel_version()
1064 	return KERN_SUCCESS;  in host_processor_sets()
1083 	return KERN_SUCCESS;  in host_processor_set_priv()
1114 	if (result != KERN_SUCCESS) {  in host_processor_info()
1124 	if (result != KERN_SUCCESS) {  in host_processor_info()
1137 		if (result != KERN_SUCCESS) {  in host_processor_info()
1150 	assert(result == KERN_SUCCESS);  in host_processor_info()
1152 	assert(result == KERN_SUCCESS);  in host_processor_info()
1158 	return KERN_SUCCESS;  in host_processor_info()
1205 	return KERN_SUCCESS;  in kernel_set_special_port()
1221 	return KERN_SUCCESS;  in kernel_get_special_port()
1336 	return KERN_SUCCESS;  in host_get_special_port()
1399 	return KERN_SUCCESS;  in host_set_multiuser_config_flags()