Symbol: syscall_user_dispatch_get_config