pmap_l0_to_l1
l1 = pmap_l0_to_l1(l0, KMSAN_SHAD_MIN_ADDRESS);
l1 = pmap_l0_to_l1(l0, KMSAN_ORIG_MIN_ADDRESS);
pte = pmap_l0_to_l1(pde, va);
l1 = pmap_l0_to_l1(l0, kernel_vm_end);
l1 = pmap_l0_to_l1(l0, sva);
l1 = pmap_l0_to_l1(l0, sva);
l1p = pmap_l0_to_l1(l0p, va);
l1p = pmap_l0_to_l1(l0p, va);
return (pmap_l0_to_l1(l0, va));
l1 = pmap_l0_to_l1(l0, sva);
l1 = pmap_l0_to_l1(l0, va);
l1 = pmap_l0_to_l1(l0, addr);
l1p = pmap_l0_to_l1(l0p, va);
l1 = pmap_l0_to_l1(l0, sva);
l1p = pmap_l0_to_l1(l0p, va);
ptep = pmap_l0_to_l1(pdep, far);
return (pmap_l0_to_l1(pmap, l0, va));
l1 = pmap_l0_to_l1(l0, sva);
l1 = pmap_l0_to_l1(l0, sva);
l1 = pmap_l0_to_l1(l0, sva);
return (pmap_l0_to_l1(l0, va));