Except incorrectly flushing the TLB would merely be a performance bug.