Document number
205065
Version
Rev. N
Issue date
2019-02-04
Sirius OBC and TCM User Manual
Page
40
of
174
Argument name
Type
Direction Description
fd
int
in
File descriptor received at
open
cmd
int
in
Command to send
val
uint32_t
in
Data according to the specific command.
Command table
Description
SCET_SET_PPS_SOURCE_IOCTL
Input value sets the PPS source.
0 = External PPS source
1 = Internal PPS source (default)
SCET_GET_PPS_SOURCE_IOCTL
Returns the current PPS source
0 = External PPS source
1 = Internal PPS source (default)
SCET_SET_PPS_O_EN_IOCTL
Input value configures if pps0 or pps1 is input and if pps1 is
input or output.
0 = pps1 is input (default)
1 = pps0 is input, pps1 is output
SCET_GET_PPS_O_EN_IOCTL
Returns whether the pps0 or pps1 signal is input and if pps1
is input or output.
0 = pps1 is input (default)
1 = pps0 is input, pps1 is output
SCET_SET_PPS_THRESHOLD_IOCTL
Input value configures the PPS threshold window where the
PPS pulse is allowed to arrive without being deemed lost.
Defined in number of subseconds, [0,65535].
(0 is default)
SCET_GET_PPS_THRESHOLD_IOCTL
Returns the currently configured PPS threshold window in
subseconds.
(0 is default)
SCET_GET_PPS_ARRIVE_COUNTER_IOCTL
Returns 24 bits of the SCET time sampled when PPS arrived.
Bit 23:16 contains lower 8 bits of second
Bit 15:0 contains subseconds
SCET_SET_GP_TRIGGER_LEVEL_IOCTL
Input bit field configures the trigger level of each trigger:
Bit 0 is trigger 0,
Bit N is trigger N,
Bit 7 is trigger 7.
Bit value 0 = trigger activates on 0 to 1 transition (rising edge)
Bit value 1 = trigger activates on 1 to 0 transition (falling
edge).
(0 is default).
