Searched refs:ibc (Results 1 – 4 of 4) sorted by relevance
414 __u16 ibc; member423 __u32 ibc; member
72 if (info.ibc >= 0x30) in guest_modes_append_default()
67 __u32 ibc; # IBC level range offered by host86 __u16 ibc; # IBC level currently (to be) used by this vcpu
517 unsigned short ibc; member