Searched refs:caphi (Results 1 – 1 of 1) sorted by relevance
333 uint32_t caphi, ecaphi; in dmar_print_caps() local339 caphi = unit->hw_cap >> 32; in dmar_print_caps()342 printf("%b, ", caphi, "\020\010PSI\027DWD\030DRD\031FL1GP\034PSI"); in dmar_print_caps()