pmap_randomize_level
pmap_randomize_level(&new_pd_va[i], level - 1);
pmap_randomize_level(&pml4va[i], 3);
void pmap_randomize_level(pd_entry_t *, int);