Constant IO_PORT_CONTROL

pub const IO_PORT_CONTROL: Slot<IOPortControl>;

Corresponds to seL4_CapIOPortControl.