Symbol: x86_64_protection_init
sys/platform/pc64/x86_64/pmap.c
1179
x86_64_protection_init();
sys/platform/pc64/x86_64/pmap.c
386
static void x86_64_protection_init (void);
sys/platform/vkernel64/platform/pmap.c
167
static void x86_64_protection_init (void);
sys/platform/vkernel64/platform/pmap.c
501
x86_64_protection_init();