Symbol: USER_ADDR
sys/arch/powerpc64/include/pte.h
76
#define USER_ESID (USER_ADDR >> ADDR_ESID_SHIFT)
sys/arch/powerpc64/powerpc64/pmap.c
504
*kva = USER_ADDR | (va & SEGMENT_MASK);