Searched refs:print_ctx_32 (Results 1 – 1 of 1) sorted by relevance
370 static void print_ctx_32(vcpu_guest_context_x86_32_t *ctx) in print_ctx_32() function491 print_ctx_32(&ctx->x32); in print_ctx()552 static void print_ctx_32(vcpu_guest_context_t *ctx) in print_ctx_32() function671 print_ctx_32(ctx); in print_ctx()675 print_ctx_32(ctx); in print_ctx()
Completed in 4 milliseconds