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()
360 int itype = DBG_INTR_TYPE_UNKNOWN; in interrupt() local382 itype = DBG_INTR_TYPE_IPI; in interrupt()384 itype = DBG_INTR_TYPE_TIMER; in interrupt()386 itype = DBG_INTR_TYPE_OTHER; in interrupt()393 user_mode, itype, 0); in interrupt()