Home | History | Annotate | Download | only in bios

Lines Matching refs:writel

122 static inline void writel(void *addr, uint32_t val)
651         writel(APIC_BASE + APIC_SVR, val);
658         writel(APIC_BASE + APIC_ICR_LOW, 0x000C4500);
660         writel(APIC_BASE + APIC_ICR_LOW, 0x000C4600 | sipi_vector);