Searched refs:va_uc (Results 1 – 1 of 1) sorted by relevance
884 uintptr_t va, va_uc; in update_region() local889 va_uc = (uintptr_t)sys_cache_uncached_ptr_get((void *)start); in update_region()892 va_uc = start; in update_region()901 ret = region_map_update(ptables, va_uc, size, ring, new_flags_uc); in update_region()
