Lines Matching defs:p_log
256 static void p_log(const char *fmt, ...)
1841 p_log("Timestamp out of range");
2545 p_log("VMCS: %#" PRIx64 " TSC Offset %#" PRIx64,
2557 p_log("ERROR: PSB without PSBEND");
2568 p_log("ERROR: First TSC is not in PSB+");
2577 p_log("ERROR: First TSC, unknown TSC Offset");
2591 p_log("ERROR: First TSC, no PIP, unknown TSC Offset");
2625 p_log("ERROR: TSC without TMA");
2652 p_log("ERROR: Missing VMCS");
2735 p_log("ERROR: Unknown TSC Offset for VMCS %#" PRIx64,
2741 p_log("ERROR: Unknown VMCS");
2766 p_log("ERROR: Missing VMCS");
2788 p_log("Timestamp out of range");
2791 p_log("ERROR: Unknown VMCS");