Searched refs:int_num (Results 1 – 3 of 3) sorted by relevance
114 void configure_irq_trigger(int int_num, bool is_level_triggered) in configure_irq_trigger() argument120 int_bits |= (1 << int_num); in configure_irq_trigger()122 int_bits &= ~(1 << int_num); in configure_irq_trigger()
60 void configure_irq_trigger(int int_num, bool is_level_triggered);
1655 int int_num, ah, v; in test_vm86() local1657 int_num = VM86_ARG(ret); in test_vm86()1658 if (int_num != 0x21) in test_vm86()1692 printf("unsupported int 0x%02x\n", int_num); in test_vm86()