Function ReadBase

Kernel/src/arch/x86_64/apic.cpp:21–27

        }

        uint64_t ReadBase(){
            uint64_t low;
            uint64_t high;
            asm("rdmsr" : "=a"(low), "=d"(high) : "c"(0x1B));

            return (high << 32) | low;
        }

        void WriteBase(uint64_t val){
            uint64_t low = val & 0xFFFFFFFF;