Searched refs:PMAP_INVALID (Results 1 – 2 of 2) sorted by relevance
42 #define PMAP_INVALID ((pmap_t)0xDEAD7347) macro
253 …nd_swap(&cpu_datap(ccpu)->cpu_pcid_data->cpu_pcid_last_pmap_dispatched[pcid], tpmap, PMAP_INVALID); in pmap_pcid_deallocate_pcid()