apic_read
uint8 apicID = apic_read(APIC_ID) >> 24;
apic_read(APIC_ERROR_STATUS);
config = (apic_read(APIC_INTR_COMMAND_2) & APIC_INTR_COMMAND_2_MASK)
config = (apic_read(APIC_INTR_COMMAND_1) & 0xfff00000)
while ((apic_read(APIC_INTR_COMMAND_1) & APIC_DELIVERY_STATUS) != 0)
config = (apic_read(APIC_INTR_COMMAND_2) & APIC_INTR_COMMAND_2_MASK)
config = (apic_read(APIC_INTR_COMMAND_1) & 0xfff00000)
while ((apic_read(APIC_INTR_COMMAND_1) & APIC_DELIVERY_STATUS) != 0)
config = (apic_read(APIC_INTR_COMMAND_2) & APIC_INTR_COMMAND_2_MASK)
config = (apic_read(APIC_INTR_COMMAND_1) & 0xfff0f800)
while ((apic_read(APIC_INTR_COMMAND_1) & APIC_DELIVERY_STATUS) != 0)
return (apic_read(APIC_ID) & 0xffffffff) >> 24;
return apic_read(APIC_ERROR_STATUS);
return (apic_read(APIC_INTR_COMMAND_1) & APIC_DELIVERY_STATUS) == 0;
return apic_read(APIC_LOGICAL_DEST);
return apic_read(APIC_SPURIOUS_INTR_VECTOR);
return (apic_read(APIC_INTR_COMMAND_1) & APIC_DELIVERY_STATUS) == 0;
return apic_read(APIC_LVT_TIMER);
return apic_read(APIC_LVT_ERROR);
return apic_read(APIC_INITIAL_TIMER_COUNT);
return apic_read(APIC_CURRENT_TIMER_COUNT);
return apic_read(APIC_TIMER_DIVIDE_CONFIG);
uint32 value = apic_read(APIC_LOGICAL_DEST);
config = (apic_read(APIC_LINT0) & 0xffff00ff);
config = (apic_read(APIC_LINT1) & 0xffff00ff);
dprintf("LINT0: %p\n", (void *)apic_read(APIC_LINT0));
dprintf("LINT1: %p\n", (void *)apic_read(APIC_LINT1));
config = apic_read(APIC_LINT0);
config = apic_read(APIC_LINT1);
dprintf("0: LINT0: %p\n", (void *)apic_read(APIC_LINT0));
dprintf("0: LINT1: %p\n", (void *)apic_read(APIC_LINT1));
return (apic_read(APIC_ID) & 0xffffffff) >> 24;
return apic_read(APIC_VERSION);
return apic_read(APIC_TASK_PRIORITY);