Lines Matching refs:s64
1007 addr64_t s64,
1017 if (map == PMAP_NULL || s64 == e64)
1022 (uint32_t) (s64 >> 32), s64,
1044 if ((kernel_stack_min <= s64 && s64 < kernel_stack_max) ||
1062 while (s64 < e64) {
1063 l64 = (s64 + pde_mapped_size) & ~(pde_mapped_size - 1);
1066 pde = pmap_pde(map, s64);
1079 spte = pmap_pte(map, (s64 & ~(pde_mapped_size - 1)));
1080 spte = &spte[ptenum(s64)];
1081 epte = &spte[intel_btop(l64 - s64)];
1083 pmap_remove_range(map, s64, spte, epte);
1085 s64 = l64;
1087 if (s64 < e64 && rdtsc64() >= deadline) {