5109    SVal svNew = SVal_INVALID;  in msmcread()  local
5174    SVal svNew = SVal_INVALID;  in msmcwrite()  local
5251    SVal       svOld, svNew;  in zsm_sapply08__msmcread()  local
5275    SVal       svOld, svNew;  in zsm_sapply08__msmcwrite()  local
5301    SVal       svOld, svNew;  in zsm_sapply16__msmcread()  local
5335    SVal       svOld, svNew;  in zsm_sapply16__msmcwrite()  local
5371    SVal       svOld, svNew;  in zsm_sapply32__msmcread()  local
5405    SVal       svOld, svNew;  in zsm_sapply32__msmcwrite()  local
5442    SVal       svOld, svNew;  in zsm_sapply64__msmcread()  local
5470    SVal       svOld, svNew;  in zsm_sapply64__msmcwrite()  local
5497 void zsm_swrite08 ( Addr a, SVal svNew ) {  in zsm_swrite08()
5520 void zsm_swrite16 ( Addr a, SVal svNew ) {  in zsm_swrite16()
5560 void zsm_swrite32 ( Addr a, SVal svNew ) {  in zsm_swrite32()
5602 void zsm_swrite64 ( Addr a, SVal svNew ) {  in zsm_swrite64()
5690 void zsm_sset_range_SMALL ( Addr a, SizeT len, SVal svNew )  in zsm_sset_range_SMALL()
5776 static void zsm_sset_range ( Addr a, SizeT len, SVal svNew )  in zsm_sset_range()