syscall.sh / microblaze / gettimeofday

gettimeofday

get / set time

sys_gettimeofday(struct __kernel_old_timeval *tv, struct timezone *tz)
number78 (0x4e)
abicommon
entry pointsys_gettimeofday
sinceLinux 5.0
man pagegettimeofday(2)
sourceelixir.bootlin.com

Registers

registervalue
r1278, the syscall number
r5struct __kernel_old_timeval *tv
r6struct timezone *tz
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/gettimeofday