#include "threads/mmu.h"

Go to the source code of this file.
Functions | |
| __attribute__ ((always_inline)) static __inline void lcr3(uint64_t val) | |
| __asm | __volatile ("wrmsr" ::"c"(ecx), "d"(edx), "a"(eax)) |
Variables | |
| uint64_t | val |
| eax = (uint32_t) val | |
| edx = (uint32_t) (val >> 32) | |
| __attribute__ | ( | (always_inline) | ) |

| __asm __volatile | ( | "wrmsr" ::"c" | ecx, |
| "d" | edx, | ||
| "a" | eax | ||
| ) |
