syscall.sh / ppc64 / time

time

get time in seconds

sys_time(__kernel_old_time_t *tloc)
number13 (0xd)
abi64
entry pointsys_time
sinceLinux 5.0
man pagetime(2)
sourceelixir.bootlin.com

Registers

registervalue
r013, the syscall number
r3__kernel_old_time_t *tloc
r3the return value

Then run sc to enter the kernel.

Same syscall on other architectures

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