// SPDX-License-Identifier: GPL-3.0-or-later
// Copyright (c) 2026 0xKarinyash

#pragma once

void jump_to_userspace(void* entry, void* user_stack_top);