Browse Source

get_cr3

master
Mathieu Serandour 5 months ago
parent
commit
3f121ae3e9
  1. 2
      kernel/lib/registers.h

2
kernel/lib/registers.h

@ -14,6 +14,8 @@ uint64_t get_rflags(void);
uint64_t get_cr0(void);
uint64_t _cr2(void);
void _cr3(uint64_t cr3);
uint64_t get_cr3(void);
uint64_t get_cr4(void);

Loading…
Cancel
Save