Searched refs:LAPIC_Read (Results 1 – 1 of 1) sorted by relevance
76 LAPIC_Read(uint16_t reg) in LAPIC_Read() function96 return LAPIC_Read(LAPIC_ID) >> 24; in LAPIC_CPU()148 while ((LAPIC_Read(LAPIC_ICR_LO) & LAPIC_ICR_DELIVERY_PENDING) != 0) { in LAPIC_Broadcast()166 while ((LAPIC_Read(LAPIC_ICR_LO) & LAPIC_ICR_DELIVERY_PENDING) != 0) { in LAPIC_BroadcastNMI()207 version = LAPIC_Read(LAPIC_VERSION); in LAPIC_Init()248 while (LAPIC_Read(LAPIC_ICR_LO) & LAPIC_ICR_DELIVERY_PENDING) in LAPIC_Init()261 uint32_t version = LAPIC_Read(LAPIC_VERSION); in Debug_LAPIC()265 kprintf("VERSION: %08x\n", LAPIC_Read(LAPIC_VERSION)); in Debug_LAPIC()266 kprintf("ESR: %08x\n", LAPIC_Read(LAPIC_ESR)); in Debug_LAPIC()267 kprintf("ICRLO: %08x\n", LAPIC_Read(LAPIC_ICR_LO)); in Debug_LAPIC()[all …]