Searched defs:os_patchlevel (Results 1 – 2 of 2) sorted by relevance
306 uint32_t os_patchlevel, in trusty_set_boot_params()
252 uint32_t os_patchlevel; member