12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758 |
- #include <types.h>
- #include <clock.h>
- #include <copyinout.h>
- #include <syscall.h>
- int
- sys___time(userptr_t user_seconds_ptr, userptr_t user_nanoseconds_ptr)
- {
- time_t seconds;
- uint32_t nanoseconds;
- int result;
- gettime(&seconds, &nanoseconds);
- result = copyout(&seconds, user_seconds_ptr, sizeof(time_t));
- if (result) {
- return result;
- }
- result = copyout(&nanoseconds, user_nanoseconds_ptr, sizeof(uint32_t));
- if (result) {
- return result;
- }
- return 0;
- }
|