IBS_FETCH_CTL_PHYSADDRVALID
if ((config & IBS_FETCH_CTL_PHYSADDRVALID) != 0) {
if ((ctl & IBS_FETCH_CTL_PHYSADDRVALID) != 0) {