syscall.sh / microblaze / clock_gettime64

clock_gettime64

clock and time functions

sys_clock_gettime(clockid_t which_clock, struct __kernel_timespec *tp)
number403 (0x193)
abicommon
entry pointsys_clock_gettime
sinceLinux 5.1
man pageclock_gettime(2)
sourceelixir.bootlin.com

Registers

registervalue
r12403, the syscall number
r5clockid_t which_clock
r6struct __kernel_timespec *tp
r3the return value

Then run brki r14,8 to enter the kernel.

Same syscall on other architectures

Get this as JSON: https://api.syscall.sh/v2/syscalls/microblaze/clock_gettime64