kernel_priority property

  1. @Int()
int kernel_priority
getter/setter pair

Implementation

@integer_t()
external int kernel_priority;