Searched refs:pcid_for_pmap_cpu_tuple (Results 1 – 3 of 3) sorted by relevance
40 pcid_t pcid_for_pmap_cpu_tuple(pmap_t, thread_t, int);
813 …pcid_for_pmap_cpu_tuple(map->pmap, thread, ccpu) == (get_cr3_raw() & 0xFFF)) : TRUE),"PCIDs: 0x%x,…
275 pcid_for_pmap_cpu_tuple(pmap_t cpmap, thread_t cthread, int ccpu) in pcid_for_pmap_cpu_tuple() function