Searched refs:pvtck (Results 1 – 2 of 2) sorted by relevance
551 uint32_t pvtck = 1; in lck_init_pv() local552 PE_parse_boot_argn("pvticket", &pvtck, sizeof(pvtck)); in lck_init_pv()553 if (pvtck == 0) { in lck_init_pv()
2275 uint32_t pvtck = 1; in lck_init_pv() local2276 PE_parse_boot_argn("pvticket", &pvtck, sizeof(pvtck)); in lck_init_pv()2277 if (pvtck == 0) { in lck_init_pv()