Lines Matching defs:hpet_info
20 extern void hpet_info(int, const char **);
38 hpet_info
99 hpet_info(int argc, const char **argv)
101 struct hpet_info info;
105 fprintf(stderr, "hpet_info: device-name\n");
111 fprintf(stderr, "hpet_info: open of %s failed\n", argv[0]);
116 fprintf(stderr, "hpet_info: failed to get info\n");
120 fprintf(stderr, "hpet_info: hi_irqfreq 0x%lx hi_flags 0x%lx ",
136 struct hpet_info info;
228 struct hpet_info info;