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

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/
H A Dguest_vm_arch.h24 typedef struct i8259 i8259_t;
/seL4-camkes-master/projects/seL4_projects_libs/libsel4vm/src/arch/x86/i8259/
H A Di8259.c10 * from Linux kernel 3.8.8 arch/x86/kvm/i8259.c
26 #include "i8259.h"
71 struct i8259 *pics_state;
75 struct i8259 { struct
219 static void pic_update_irq(struct i8259 *s)
475 struct i8259 *s = vcpu->vm->arch.i8259_gs;
506 struct i8259 *s = vcpu->vm->arch.i8259_gs;
532 static void i8259_init_state(struct i8259 *s)
569 struct i8259 *s = vm->arch.i8259_gs;
576 struct i8259 *
[all...]

Completed in 37 milliseconds