Searched refs:get_cr3 (Results 1 – 1 of 1) sorted by relevance
229 static inline uintptr_t get_cr3(const struct arch_esf *esf) in get_cr3() function249 return k_mem_virt_addr(get_cr3(esf)); in get_ptables()265 esf->rsp, esf->rflags, esf->cs & 0xFFFFU, get_cr3(esf)); in dump_regs()278 esf->cs & 0xFFFFU, get_cr3(esf)); in dump_regs()