Lines Matching refs:p_log
256 static void p_log(const char *fmt, ...)
1839 p_log("Timestamp out of range");
2543 p_log("VMCS: %#" PRIx64 " TSC Offset %#" PRIx64,
2555 p_log("ERROR: PSB without PSBEND");
2566 p_log("ERROR: First TSC is not in PSB+");
2575 p_log("ERROR: First TSC, unknown TSC Offset");
2589 p_log("ERROR: First TSC, no PIP, unknown TSC Offset");
2623 p_log("ERROR: TSC without TMA");
2650 p_log("ERROR: Missing VMCS");
2733 p_log("ERROR: Unknown TSC Offset for VMCS %#" PRIx64,
2739 p_log("ERROR: Unknown VMCS");
2764 p_log("ERROR: Missing VMCS");
2786 p_log("Timestamp out of range");
2789 p_log("ERROR: Unknown VMCS");