/*
* The system startup sequence initializes the clock
* before kicking off threads. So it's possible,
/*
* The system startup sequence initializes the clock
* before kicking off threads. So it's possible,
- {
- extern void bsd_hardclock(
- boolean_t usermode,
- natural_t pc,
- int ticks);
-
- bsd_hardclock(usermode, pc, 1);
- }
-#endif /* MACH_BSD */
+ /*XXX*/
+ if (processor == master_processor) {
+ bsd_hardclock(usermode, pc, 1);
- thr_act = thread->top_act;
- if (thr_act->act_profiled) {
- if (inkernel && thr_act->map != kernel_map) {
+ if (thread->act_profiled) {
+ if (inkernel && thread->map != kernel_map) {
/*
* Non-kernel thread running in kernel
* Register user pc (mach_msg, vm_allocate ...)
*/
if (profile_kernel_services)
/*
* Non-kernel thread running in kernel
* Register user pc (mach_msg, vm_allocate ...)
*/
if (profile_kernel_services)
/*
* User thread not profiled in kernel mode,
* kernel task profiled, register kernel pc
/*
* User thread not profiled in kernel mode,
* kernel task profiled, register kernel pc