Searched refs:print_ctx_64 (Results 1 – 1 of 1) sorted by relevance
435 static void print_ctx_64(vcpu_guest_context_x86_64_t *ctx) in print_ctx_64() function495 print_ctx_64(&ctx->x64); in print_ctx()604 static void print_ctx_64(vcpu_guest_context_t *ctx) in print_ctx_64() function673 print_ctx_64(ctx); in print_ctx()
Completed in 4 milliseconds