mdscr_el1 property

  1. @UnsignedLongLong()
int mdscr_el1
getter/setter pair

Implementation

@__uint64_t()
external int mdscr_el1;