Lines Matching refs:kprintf

152 	    kprintf("IPI not delivered?\n");
170 	    kprintf("IPI not delivered?\n");
205     kprintf("LAPIC: CPU %d found at 0x%016llx\n", LAPIC_CPU(), base);
264     kprintf("LAPIC %d\n", LAPIC_CPU());
265     kprintf("VERSION:    %08x\n", LAPIC_Read(LAPIC_VERSION));
266     kprintf("ESR:        %08x\n", LAPIC_Read(LAPIC_ESR));
267     kprintf("ICRLO:      %08x\n", LAPIC_Read(LAPIC_ICR_LO));
268     kprintf("ICRHI:      %08x\n", LAPIC_Read(LAPIC_ICR_HI));
269     kprintf("SIV:        %08x\n", LAPIC_Read(LAPIC_SIV));
270     kprintf("ERROR:      %08x\n", LAPIC_Read(LAPIC_LVT_ERROR));
272 	kprintf("THERMAL:    %08x\n", LAPIC_Read(LAPIC_LVT_THERMAL));
274     kprintf("LINT0:      %08x\n", LAPIC_Read(LAPIC_LVT_LINT0));
275     kprintf("LINT1:      %08x\n", LAPIC_Read(LAPIC_LVT_LINT1));
277 	kprintf("PMCR:       %08x\n", LAPIC_Read(LAPIC_LVT_PMCR));
280 	kprintf("CMCI:       %08x\n", LAPIC_Read(LAPIC_LVT_CMCI));