//! User termination and CPU-fault entry paths.

export mod abi;

export mod sys;

/// Issue a raw call to test the kernel error boundary.

@intrinsic fn ecall(operation: u32, a0: i64, a1: i64, a2: i64, a3: i64) -> i64;

/// Startup values used to select the termination operation.

record Env: Copy {

    /// Optional argument bytes supplied by the parent.

    argsPointer: *abi::Handle,

    /// Termination case selected by the parent.

    argsSize: u64,

    /// Installed event handle.

    eventsHandle: u64,

    /// Shared event-ring address.

    eventsPointer: u64,

}

/// Exercise an explicit exit, explicit abort, or a user breakpoint fault.

@default fn main(env: *Env) {

    if env.argsSize == 0 { sys::exit(37); }

    if env.argsSize == 1 { sys::abort(); }

    if env.argsSize == 3 { try! sys::domainDestroy(abi::Handle(0), 0); }

    if env.argsSize == 4 {

        let result = ecall(47, 0, 0, 0, 0);

        sys::exit(99);

    }

    if env.argsSize == 8 {

        let device = sys::queryDevice(*env.argsPointer);

        assert device.base == 0x10001000 and device.size >= 4;

        sys::exit(51);

    }

    assert false;

}