L4Re – L4 Runtime Environment
CPU related functions
+ Collaboration diagram for CPU related functions: