* platform/k1-nodeos/odp_ticketlock.c (odp_ticketlock_unlock): Remove unused memory flush
* platform/k1-nodeos/odp_ticketlock.c (odp_ticketlock_unlock): Remove unused memory flush

kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa