x86_default_get_root_pointer
u64 x86_default_get_root_pointer(void);
.get_root_pointer = x86_default_get_root_pointer,