vio_shadow property

  1. @UnsignedInt()
int vio_shadow
getter/setter pair

Implementation

@natural_t()
external int vio_shadow;