/* right after this call apic become NOOP driven so apic->write/read doesn't do anything  */
void apic_disable(void)
/* right after this call apic become NOOP driven so apic->write/read doesn't do anything  */
void apic_disable(void)
{
	pr_info("APIC: switched to apic NOOP\n");
	apic = &apic_noop;
}