Lines Matching refs:RVM_OFFSET_GEQ

741 	    assert(RVM_OFFSET_GEQ(last_log_tail,log->status.log_tail));
789     assert(RVM_OFFSET_GEQ(status->log_tail,status->log_start));
791     assert(RVM_OFFSET_GEQ(status->log_head,status->log_start));
799         assert(RVM_OFFSET_GEQ(status->prev_log_tail,
803         assert(RVM_OFFSET_GEQ(status->prev_log_head,
813         assert(RVM_OFFSET_GEQ(status->log_head,status->log_tail));
818             assert(RVM_OFFSET_GEQ(status->prev_log_head,
820             assert(RVM_OFFSET_GEQ(status->prev_log_head,
833                 assert(RVM_OFFSET_GEQ(status->prev_log_head,
943     if (RVM_OFFSET_GEQ(status->log_tail,status->log_head) &&
944         RVM_OFFSET_GEQ(status->log_tail,status->prev_log_head))
972     if (RVM_OFFSET_GEQ(status->log_tail,status->log_head) &&  in log_tail_sngl_w()
973         RVM_OFFSET_GEQ(status->log_tail,status->prev_log_head))  in log_tail_sngl_w()
987     if (RVM_OFFSET_GEQ(status->log_tail,status->log_head))