USER_ESID
slbe = (USER_ESID << SLBE_ESID_SHIFT) | SLBE_VALID | 31;
(va >> ADDR_ESID_SHIFT) == USER_ESID) {