hvkprintf
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume, "recovery check seqno=%08x\n", seqno);
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume, "Continuing recovery\n");
hvkprintf(root_volume,
hvkprintf(root_volume, "recovery complete\n");
hvkprintf(root_volume, "mounted clean, no recovery needed\n");
hvkprintf(root_volume, "recovery redo marked as optional\n");
hvkprintf(root_volume, "recovery redo skipped.\n");
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume, "End redo recovery\n");
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,
hvkprintf(root_volume,