Searched refs:intr_type (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/arch/x86_64/ | ||
H A D | vmx_checks.c | 856 int intr_type = ((intr_info >> 8) & 0x3); local 857 if (intr_valid_bit && intr_type == INTR_TYPE_EXT_INTR) { |
Completed in 8 milliseconds