Searched refs:isr_count (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/processor/
H A Dlapic.h35 int16_t isr_count; member in struct:vm_lapic
H A Dlapic.c319 ++apic->isr_count;
332 * Note that isr_count is always 1, and highest_isr_cache
335 if (!apic->isr_count) {
355 --apic->isr_count;
962 apic->isr_count = 0;

Completed in 168 milliseconds