x86.h

Go to the documentation of this file.

struct x86_arch_data {
        void *pma_pgd;
        void *rpgd;
};

struct x86_user_data {
        char io_bitmap[IO_BITMAP_SIZE];
};

static inline void load_cr3(void *pgd_base)
{
        struct cr3 cr3;

        cr3.pwt = 0;
        cr3.pcd = 0;
        cr3.pdb = (unsigned long)pgd_base / sysconf(_SC_PAGESIZE);

        asm volatile ("mov %0, %%cr3"::"r"(cr3));
}

static inline void reload_cr3(void)
{
        struct cr3 cr3;
        asm volatile (
                "mov %%cr3, %0\n"
                "mov %1, %%cr3\n"
                : "=r"(cr3)
                : "r"(cr3)
        );
}

static inline void *read_cr3(void)
{
        struct cr3 cr3;
        unsigned long addr;

        asm volatile ("mov %%cr3, %0":"=r"(cr3):);
        addr = cr3.pdb;
        addr *= sysconf(_SC_PAGESIZE);

        return (void*)addr;
}