Searched refs:vatpic_get_highest_isrpin (Results 1 - 1 of 1) sorted by relevance
| /freebsd-10.1-release/sys/amd64/vmm/io/ | ||
| H A D | vatpic.c | 108 vatpic_get_highest_isrpin(struct atpic *atpic) function 325 isr_bit = vatpic_get_highest_isrpin(atpic); |
Completed in 73 milliseconds