def up_wr_8_32(): s.A[8:32] @= Bits24(0xff)
def up_wr_0_24(): s.A[0:24] @= Bits24(0xff)
def up_wr_x(): s.x @= Bits24(0x654321)
def up_wr_x(): s.x @= Bits24(0x123456)
def up_wr_As(): s.A[0:24] @= Bits24(0x123456)
def up_wr_8_32(): s.A[8:32] @= Bits24(0xff)
def up_wr_0_24(): s.A[0:24] @= Bits24(0xff)
def up_wr_x(): s.x @= Bits24(0x654321)
def up_wr_x(): s.x @= Bits24(0x123456)
def up_wr_As(): s.A[0:24] @= Bits24(0x123456)