No, empiezas muy mal. Es como querer ser arquitecto y empiezas a leer planos. A parte de ver un montón de rayas y vislumbrar en ellas una columna aquí y un arco allá no verás nada más.
Detrás están todos los cálculos de cargas, resistencias de materiales, composición del forjado y del hormigón. Es decir: el código fuente, como un plano de una obra, es un resultado de todo un largo estudio que hay detrás.
Y ya si hablamos del kernel de un sistema operativo estamos hablando de temas mayores: manejo de memoria, interrupciones, asignación de tiempos de procesado, drivers, APIs.

Fíjate si tienes muchas cosas que aprender antes siquiera de empezar a ponerte delante de tu editor de código favorito.

Hice este programa de prueba para abordar el problema

#include <stdio.h>
 
int **dato;
 
void f(int **dato, int max_fila, int max_columna) {
    for(int i=0; i<max_fila; ++i) {
        for(int j=0; j<max_columna; ++j) {
            dato[i][j] = (i+1)*(j+1);
        }
    }
}
 
void g(int **dato, int max_fila, int max_columna) {
    for(int i=0; i<max_fila; ++i) {
        for(int j=0; j<max_columna; ++j) {
            printf("%d\n", dato[i][j]);
        }
    }
}
 
int main() {
    int fila = 5;
    int columna = 3;
 
    dato = malloc(fila*sizeof(int*));
    for(int i=0; i<fila; ++i)
        dato[i] = malloc(columna*sizeof(int));
 
    f(dato, fila, columna);
    g(dato, fila, columna);
}

Y funciona perfecto. Después, regresando a tu código he visto otra cosa:
siendo PCB un const char*, argumento de la función. Esto podría dar error si se libera PCB de forma automática o manual. ¿Hace falta usar strdup?

No sé cómo has declarado el dato Pagina **paginas fuera de la función.
Si es un array de dos dimensiones el argumento de la función debe ser un array de dos dimensiones donde obligatoriamente la de más a la derecha debe estar definida. Es decir:
Si has declarado el array en main() o dónde sea como
El argumento de la función debe ser

El problema podría estar en la forma de tratar el argumento de la función Pagina **Paginas. Es un puntero a puntero por tanto toda información del tamaño de las dimensiones ha desaparecido, sólo se conoce el tamaño del tipo de dato. Esto hace que al usarlo como matriz en Paginas[i][j] el programa no sepa cuántos bytes deba saltar por cada incremento de i.

Prueba con cin.ignore() o cin >> ws o while(getchar!='\n')

Tienes lo mismo unos cuantos posts más abajo:
https://foro.elhacker.net/programacion_cc/obtener_el_numero_maximo_y_el_numero_minimo_de_matriz_aleatoria_c-t485423.0.html

Pues esto te funcionará en pocos sitios: como hemos dicho muchas veces el fflush, dice el estándar, solo está asegurado para flujos de salida. Para los flujos de entrada, como stdin, es a libre albedrío del creador del compilador que funcione.

Una cadena siempre termina con el carácter \0, así que una cadena literal generada con comillas dobles tiene ese carácter al final que el compilador agrega automáticamente. También es la razón por lo que hay que agregar un carácter más a los arrays que realmente serán cadenas.

Un simple carácter de comillas simples no es una cadena, porque le falta el carácter de fin de cadena, y porque la variable que lo aloja no es un escalar entero, es decir, no es array ni puntero.

Sí, o cin >> ws para eliminar los espacios en blanco. Hay unas cuantas formas de hacerlo.

En lo referente a fflush(stdin): el estándar dice que fflush solo es para flujos de salida así que depende del compilador que funcione o no. Cómo norma general no deberías usarlo.

En cuanto a la recursividad: sí, está bien hecha. Tiene una condición de parada, una llamada que actualiza un estado para que active la condición de parada en el momento oportuno y un trabajo a cumplir.

Lo que hace es escribir en pantalla: Entrando en el sueño del suelo... repitiendo tantas veces del sueño como se hayan indicado en el argumento de llamada.

Por cierto, no destroces el lenguaje con x y e. El español es un de los lenguajes más ricos que existen.