#include <stdint.h>
#include "systemCalls.h"

uint64_t systemCallsDispatcher(uint64_t rdi, uint64_t rsi, uint64_t rdx, uint64_t rcx, uint64_t r8) {
	switch (rdi) {
		case 0:
            return write(rsi, rdx, rcx);
        case 1:
            return read(rsi, rdx, rcx);
        case 2:
            return getTime(rsi, rdx, rcx);
        case 3:
            // createProcess(rsi);
            enqueueProcess(rsi, rdx, rcx, r8);
            break;
        default:
            return -1;
	}
    return 1;
}