syscall.sh / microblaze / time

time

get time in seconds

sys_time32(old_time32_t *tloc)

number	13 (0xd)
abi	common
entry point	`sys_time32`
since	Linux 5.0
man page	time(2)
source	elixir.bootlin.com

Registers

register	value
`r12`	13, the syscall number
`r5`	old_time32_t *tloc
`r3`	the return value

Then run brki r14,8 to enter the kernel.

Same syscall on other architectures

x64 201
x86 13
x32 1073742025
ppc64 13
ppc 13
mipso32 4013
m68k 13
parisc 13
sh 13
sparc 231

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