Symbol: x86_64_protection_init
sys/platform/pc64/x86_64/pmap.c
6083
x86_64_protection_init(void)
sys/platform/vkernel64/platform/pmap.c
3116
x86_64_protection_init(void)