Searched refs:irq_in_use (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/include/
H A Dkcb.h70 uint8_t irq_in_use[NDISPATCH / 8]; // Bitmap of handed out caps. member in struct:kcb
/barrelfish-master/kernel/arch/x86_64/
H A Dirq.c532 if(bitmap_get(k->irq_in_use, i)){
546 bitmap_set_true(kcb_current->irq_in_use, i);
/barrelfish-master/kernel/arch/x86_32/
H A Dirq.c478 if(bitmap_get(k->irq_in_use, i)){
492 bitmap_set_true(kcb_current->irq_in_use, i);

Completed in 103 milliseconds