Searched refs:osPatchLevel (Results 1 – 2 of 2) sorted by relevance
100 uint32_t osPatchLevel, uint32_t vendorPatchLevel) in JavacardSecureElement() argument101 : transport_(transport), osVersion_(osVersion), osPatchLevel_(osPatchLevel), in JavacardSecureElement()
745 * osPatchLevel [706] EXPLICIT INTEGER OPTIONAL,