Searched refs:sc_vaddr_mask (Results 1 – 1 of 1) sorted by relevance
254 static uint64_t sc_vaddr_mask = 0; variable267 sc_vaddr_mask = (1UL << va_size_bits) - 1; in sc_boostrap_va()297 vaddr = vaddr & sc_vaddr_mask; in sc_cL4_kvtov()