add flush_broadcast
and tlbsync
functions
#403
Merged
flush_broadcast
and tlbsync
functions
#403