pmap_l0
l0 = pmap_l0(kernel_pmap, KMSAN_SHAD_MIN_ADDRESS);
l0 = pmap_l0(kernel_pmap, KMSAN_ORIG_MIN_ADDRESS);
l0 = pmap_l0(pmap, va);
l0 = pmap_l0(pmap, va);
l0 = pmap_l0(kernel_pmap, kernel_vm_end);
l0 = pmap_l0(pmap, sva);
l0 = pmap_l0(pmap, sva);
l0p = pmap_l0(pmap, va);
l0 = pmap_l0(pmap, va);
l0 = pmap_l0(pmap, sva);
l0 = pmap_l0(pmap, va);
l0 = pmap_l0(src_pmap, addr);
l0 = pmap_l0(dst_pmap, addr);
l0p = pmap_l0(pmap, va);
l0 = pmap_l0(pmap, sva);
l0p = pmap_l0(pmap, va);
l0 = pmap_l0(pmap, va);
l0 = pmap_l0(pmap, va);
l0 = pmap_l0(pmap, sva);
l0 = pmap_l0(pmap, sva);
l0 = pmap_l0(pmap, sva);
l0 = pmap_l0(pmap, va);