Lines Matching defs:txt
8 * See "LICENSE_BSD2.txt" for details.
81 // store pointer to start of row for txt printing later
99 // print txt
286 char* txt;
289 txt = "LOCAL";
292 txt = "ISO";
295 txt = "NMI";
298 txt = "LOCAL NMI";
301 txt = "LOCAL AO";
304 txt = "SAPIC";
307 txt = "PINT SRC";
310 txt = "LOCAL X2APIC";
313 txt = "LOCAL X2APIC_NMI";
316 txt = "GIC";
319 txt = "GICD";
322 txt = "IOSAPIC";
325 txt = "IOAPIC";
328 txt = "Unknown";
331 printf("<<%s>>\n", txt);