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()
357 int itype = DBG_INTR_TYPE_UNKNOWN; in interrupt() local379 itype = DBG_INTR_TYPE_IPI; in interrupt()381 itype = DBG_INTR_TYPE_TIMER; in interrupt()383 itype = DBG_INTR_TYPE_OTHER; in interrupt()390 user_mode, itype, 0); in interrupt()