/trunk/kernel/arch/ia32xen/src/smp/mps.c |
---|
92,7 → 92,7 |
static bool is_cpu_enabled(index_t i); |
static bool is_bsp(index_t i); |
static uint8_t get_cpu_apic_id(index_t i); |
static int mps_irq_to_pin(int irq); |
static int mps_irq_to_pin(unsigned int irq); |
struct smp_config_operations mps_config_operations = { |
.cpu_count = get_cpu_count, |
415,7 → 415,7 |
} |
} |
int mps_irq_to_pin(int irq) |
int mps_irq_to_pin(unsigned int irq) |
{ |
int i; |
/trunk/kernel/arch/ia32xen/src/smp/smp.c |
---|
162,7 → 162,7 |
} |
} |
int smp_irq_to_pin(int irq) |
int smp_irq_to_pin(unsigned int irq) |
{ |
ASSERT(ops != NULL); |
return ops->irq_to_pin(irq); |
/trunk/kernel/arch/ia32xen/src/smp/apic.c |
---|
124,7 → 124,7 |
void apic_init(void) |
{ |
io_apic_id_t idreg; |
int i; |
unsigned int i; |
exc_register(VECTOR_APIC_SPUR, "apic_spurious", (iroutine) apic_spurious); |
528,7 → 528,8 |
void io_apic_disable_irqs(uint16_t irqmask) |
{ |
io_redirection_reg_t reg; |
int i, pin; |
unsigned int i; |
int pin; |
for (i=0;i<16;i++) { |
if (irqmask & (1<<i)) { |
553,7 → 554,8 |
*/ |
void io_apic_enable_irqs(uint16_t irqmask) |
{ |
int i, pin; |
unsigned int i; |
int pin; |
io_redirection_reg_t reg; |
for (i=0;i<16;i++) { |