Searched refs:XIVE_TABLE_VDT_MAX (Results 1 – 1 of 1) sorted by relevance
26 #define XIVE_TABLE_VDT_MAX 16 /* VDT Domain Table (0-15) */ macro86 uint64_t vdt[XIVE_TABLE_VDT_MAX];