1/* 2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: GPL-2.0-only 5 */ 6 7#pragma once 8 9#include <types.h> 10#include <api/syscall.h> 11 12static inline time_t mode_parseTimeArg(word_t i, word_t *buffer) 13{ 14 return getSyscallArg(i, buffer); 15} 16 17static inline word_t mode_setTimeArg(word_t i, time_t time, word_t *buffer, tcb_t *thread) 18{ 19 return setMR(thread, buffer, i, time); 20} 21