vio_paging_offset property

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

Implementation

@natural_t()
external int vio_paging_offset;