ifkpi

Fields

ifk_module_id: u32

ifk_type: u32

ifk_data: struct { ifk_ptr: *void #align 4; #overlay (ifk_ptr) ifk_value: s32; }