x86_default_get_root_pointer
static inline u64 x86_default_get_root_pointer(void)
u64 x86_default_get_root_pointer(void)