pmap_pti_add_kva
pmap_pti_add_kva((vm_offset_t)tssp, (vm_offset_t)tssp +
pmap_pti_add_kva(sva, sva + sz, false);
void pmap_pti_add_kva(vm_offset_t sva, vm_offset_t eva, bool exec);
pmap_pti_add_kva(VMBUS_ISR_ADDR, VMBUS_ISR_ADDR + PAGE_SIZE, true);