lib/libpmc/pmu-events/json.h

18

extern int eprintf(int level, int var, const char *fmt, ...);

lib/libpmc/pmu-events/json.h

22

eprintf(0, verbose, pr_fmt(fmt), ##__VA_ARGS__)

lib/libpmc/pmu-events/json.h

25

eprintf(1, verbose, pr_fmt(fmt), ##__VA_ARGS__)

lib/libpmc/pmu-events/json.h

28

eprintf(2, verbose, pr_fmt(fmt), ##__VA_ARGS__)

sys/arm64/vmm/io/vgic_v3.c

2031

eprintf("Malformed IRQ %u.\n", irqid);

sys/arm64/vmm/io/vtimer.c

86

eprintf("No active vcpu\n");

sys/arm64/vmm/io/vtimer.c

91

eprintf("Timer not enabled\n");

sys/arm64/vmm/io/vtimer.c

95

eprintf("Timer condition not met\n");