Searched refs:tcr_set_e0pd1 (Results 1 – 1 of 1) sorted by relevance
2827 tcr_set_e0pd1(void *arg __unused) in tcr_set_e0pd1() function2847 smp_rendezvous(NULL, tcr_set_e0pd1, NULL, NULL); in cpu_feat_support()