Home
last modified time | relevance | path

Searched refs:iptype (Results 1 – 1 of 1) sorted by relevance

/xnu-8792.61.2/osfmk/x86_64/
H A Dpmap_pcid.c404 uint64_t iptype = itype; //promote to workaround assembler bug in invpcid() local
406 __asm__ volatile ("invpcid %0, %1" :: "m" (ipcdt), "r" (iptype) : "memory"); in invpcid()