Symbol: reload_cr3
usr/src/uts/i86pc/dboot/dboot_startkern.c
425
reload_cr3();
usr/src/uts/i86pc/os/startup.c
2673
reload_cr3();
usr/src/uts/i86pc/os/startup.c
2684
reload_cr3();
usr/src/uts/i86pc/sys/pc_mmu.h
44
void reload_cr3(void);
usr/src/uts/i86pc/vm/i86_mmu.c
451
reload_cr3();
usr/src/uts/i86pc/vm/kboot_mmu.c
484
reload_cr3();