ADDR_ESID_SHIFT
#define USER_ESID (USER_ADDR >> ADDR_ESID_SHIFT)
vsid = pmap_kernel_vsid(va >> ADDR_ESID_SHIFT);
esid = va >> ADDR_ESID_SHIFT;
esid = va >> ADDR_ESID_SHIFT;
vsid = pmap_kernel_vsid(va >> ADDR_ESID_SHIFT);
uint64_t esid = va >> ADDR_ESID_SHIFT;
uint64_t esid = va >> ADDR_ESID_SHIFT;
uint64_t esid = va >> ADDR_ESID_SHIFT;
(va >> ADDR_ESID_SHIFT) == USER_ESID) {
(va >> ADDR_ESID_SHIFT) == USER_ESID) {