L4Re – L4 Runtime Environment
IA32 Port I/O API
+ Collaboration diagram for IA32 Port I/O API: