Function SendIPI

Kernel/src/arch/x86_64/apic.cpp:64–70

        }

        void SendIPI(uint8_t destination, uint32_t dsh /* Destination Shorthand*/, uint32_t type, uint8_t vector){
            uint32_t high = ((uint32_t)destination) << 24;
            uint32_t low = dsh | type | ICR_VECTOR(vector);

            Write(LOCAL_APIC_ICR_HIGH, high);
            Write(LOCAL_APIC_ICR_LOW, low);
        }
    }

    namespace IO {