#ifndef _ELIBC_X86_64_KCALL_H
#define _ELIBC_X86_64_KCALL_H

#include <arch/generic/kcall.h>

/* x86_64: placeholder — Elyz kernel ABI not yet defined.
 *
 * When the ABI exists this will contain either:
 *   - a direct userspace→actor message-pipe write, or
 *   - a lightweight kernel entry that routes via the PMRouter.
 *
 * For now: return -ENOSYS and let the CPU halt.
 */
static inline long __kcall(struct elyz_kcall *msg)
{
    (void)msg;
    for (;;) __asm__ volatile("hlt");
    return -38; /* -ENOSYS */
}

#endif