UVM_OBJ_IS_VTEXT
if (UVM_OBJ_IS_VTEXT(uobj)) {
if (uobj && UVM_OBJ_IS_VTEXT(uobj) && ss->ss_execreact) {
!UVM_OBJ_IS_VTEXT(uobj) && ss->ss_filereact) {