Searched refs:Lprintf (Results 1 – 1 of 1) sorted by relevance
121 static void Lprintf(const char *fmt, ...) in Lprintf() function479 Lprintf("Failed to get xc interface"); in main()521 Lprintf("get domain %d max gpa is: 0x%lx", domid, max_gpa); in main()525 Lprintf("get gaddr of error inject is: 0x%lx", gaddr); in main()529 Lprintf("Xen: gaddr=0x%lx", gaddr); in main()531 Lprintf("Dom%d: gaddr=0x%lx", domid, gaddr); in main()
Completed in 3 milliseconds