apic_directed_EOI_supported
if (apic_directed_EOI_supported()) {
if (apic_directed_EOI_supported()) {
if (apic_directed_EOI_supported() == 1) {
if (apic_directed_EOI_supported() == 0) {
if (apic_directed_EOI_supported() == 0) {
if (apic_directed_EOI_supported())
extern int apic_directed_EOI_supported();