Searched refs:tpmi_domain_size (Results 1 – 1 of 1) sorted by relevance
148 int tpmi_domain_size, tpmi_domain_flags; in parse_one_domain() local155 tpmi_domain_size = tpmi_domain_header >> 16 & 0xff; in parse_one_domain()174 if (tpmi_domain_size != 1) { in parse_one_domain()175 pr_warn(FW_BUG "Invalid Domain size %d\n", tpmi_domain_size); in parse_one_domain()