Searched refs:pvtck (Results 1 – 2 of 2) sorted by relevance
213 uint32_t pvtck = 1; in lck_init_pv() local214 PE_parse_boot_argn("pvticket", &pvtck, sizeof(pvtck)); in lck_init_pv()215 if (pvtck == 0) { in lck_init_pv()
2237 uint32_t pvtck = 1; in lck_init_pv() local2238 PE_parse_boot_argn("pvticket", &pvtck, sizeof(pvtck)); in lck_init_pv()2239 if (pvtck == 0) { in lck_init_pv()