Searched defs:osPatchLevel (Results 1 – 5 of 5) sorted by relevance
80 uint32_t osPatchLevel, uint32_t vendorPatchLevel) in JavacardSecureElement()
82 uint32_t osPatchLevel, uint32_t vendorPatchLevel) in JavacardSecureElement()
123 public final Optional<Integer> osPatchLevel; field in AuthorizationList538 Integer osPatchLevel; field in AuthorizationList.Builder678 public Builder setOsPatchLevel(Integer osPatchLevel) { in setOsPatchLevel()
4570 short osPatchLevel = KMArray.cast(cmd).get((short) 1); in processInitStrongBoxCmd() local4590 short osVersion, short osPatchLevel, short vendorPatchLevel, short bootPatchLevel) { in initSystemBootParams()
4583 short osPatchLevel = KMArray.cast(cmd).get((short) 1); in processInitStrongBoxCmd() local4603 short osVersion, short osPatchLevel, short vendorPatchLevel, short bootPatchLevel) { in initSystemBootParams()