[ahoka]

I thought this was actually a good question, so I have trued to look it up. If I understand correctly the CPU tells the scheduler! I could not find exactly how though, maybe an MSR?