Constant IO_PORT_CONTROL 

pub const IO_PORT_CONTROL: Slot<IOPortControl>;

Corresponds to seL4_CapIOPortControl.