Searched refs:itype (Results 1 – 2 of 2) sorted by relevance
397 invpcid(invpcid_type_t itype, pcid_t ipcid, uint64_t iaddr) in invpcid() argument404 uint64_t iptype = itype; //promote to workaround assembler bug in invpcid()
356 int itype = DBG_INTR_TYPE_UNKNOWN; in interrupt() local378 itype = DBG_INTR_TYPE_IPI; in interrupt()380 itype = DBG_INTR_TYPE_TIMER; in interrupt()382 itype = DBG_INTR_TYPE_OTHER; in interrupt()389 user_mode, itype, 0); in interrupt()