EVPN host mobility procedures within the same R-VPLS service

EVPN host mobility is supported in SR OS as in Section 4 of draft-ietf-bess-evpn-inter-subnet-forwarding. When a host moves from a source PE to a target PE, it can behave in one of the following ways:

The SRĀ OS supports the above scenarios as follows.