// DRAM pages are captured from a PPL context, so here we restore all cpu_data structures to a non-PPL context
for (int i = 0; i < MAX_CPUS; i++) {
pmap_cpu_data_array[i].cpu_data.ppl_state = PPL_STATE_KERNEL;
// DRAM pages are captured from a PPL context, so here we restore all cpu_data structures to a non-PPL context
for (int i = 0; i < MAX_CPUS; i++) {
pmap_cpu_data_array[i].cpu_data.ppl_state = PPL_STATE_KERNEL;