1 #include <sys/cdefs.h> 2 __FBSDID("$FreeBSD$"); 3 4 #include <sys/types.h> 5 #include <sys/malloc.h> 6 #include <sys/param.h> 7 #include <sys/kernel.h> 8 #include <sys/systm.h> 9 #include <sys/signal.h> 10 #include <sys/proc.h> 11 12 #include <sys/mach/mach_types.h> 13 #include <sys/mach/processor.h> 14 15 16 processor_t master_processor; 17 18 void pset_add_task(processor_set_t pset,task_t task)19pset_add_task(processor_set_t pset, task_t task) 20 { 21 ; 22 } 23 24 void pset_remove_task(processor_set_t pset,task_t task)25pset_remove_task(processor_set_t pset, task_t task) 26 { 27 28 } 29 30 void pset_deallocate(processor_set_t pset)31pset_deallocate(processor_set_t pset) 32 { 33 ; 34 } 35 36 void pset_reference(processor_set_t pset)37pset_reference(processor_set_t pset) 38 { 39 ; 40 } 41 42