US8607235B2 - Mechanism to Schedule Threads on OS-Sequestered Sequencers Without Operating System Intervention