KMSAN_ORIG_MIN_ADDRESS
pmap_pml4e_index(KMSAN_ORIG_MIN_ADDRESS +
return (addr - VM_MIN_KERNEL_ADDRESS + KMSAN_ORIG_MIN_ADDRESS);
else if (i == pmap_l0_index(KMSAN_ORIG_MIN_ADDRESS))
l0 = pmap_l0(kernel_pmap, KMSAN_ORIG_MIN_ADDRESS);
l1 = pmap_l0_to_l1(l0, KMSAN_ORIG_MIN_ADDRESS);
pmap_bootstrap_san1(KMSAN_ORIG_MIN_ADDRESS, 1);
return (addr - VM_MIN_KERNEL_ADDRESS + KMSAN_ORIG_MIN_ADDRESS);