Home
last modified time | relevance | path

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

/xnu-8020.101.4/osfmk/x86_64/ !
H A Dpmap_pcid.c399 invpcid_desc_t ipcdt; in invpcid() local
401 ipcdt.ipcid_and_rsvd = ipcid; in invpcid()
402 ipcdt.iaddr = iaddr; in invpcid()
406 __asm__ volatile ("invpcid %0, %1" :: "m" (ipcdt), "r" (iptype) : "memory"); in invpcid()