Document number
204911
Version
Rev. K
Issue date
2016-10-11
Sirius Breadboard User Manual
www.aacmicrotec.com
Page
28
of
106
5.4.2.3.
int ioctl(…)
Ioctl allows for disabling/enabling of the SCET and setting of the timeout.
Argument name
Type
Direction
Description
fd
int
in
File descriptor received at
open
cmd
int
in
Command to send
val
int
in
Value to write or a pointer to a buffer
where data will be written.
Command table
Type
Direction
Description
SCET_GET_SECONDS_IOCTL
uint32_t
out
Returns the current number of
seconds
SCET_GET_SUBSECONDS_IOCTL
uint32_t
out
Returns the current fraction of a
second
SCET_GET_PPS_SOURCE_IOCTL
uint32_t
out
Returns the current set PPS source
SCET_GET_GP_TRIGGER_LEVEL_IOCTL
uint32_t
in/out
val input argument is the GP Trigger.
Returns the currently configured level
of the selected GP trigger
SCET_GET_INTERRUPT_ENABLE_IOCTL
uint32_t
out
Returns the current interrupt level
register
SCET_GET_INTERRUPT_STATUS_IOCTL
uint32_t
out
Returns the current interrupt status
register
SCET_GET_PPS_ARRIVE_COUNTER_IOCTL
uint32_t
out
Returns the PPS arrived counter.
Bit 23:16 contains lower 8 bits of
second.
Bit 15:0 contains fraction of second
SCET_GET_GP_TRIGGER_COUNTER_IOCTL
uint32_t
*
in/out
Pointer input argument is the GP
trigger.
Returns the counter of the selected
GP trigger.
Bit 23:16 contains lower 8 bits of
second.
Bit 15:0 contains fraction of second
SCET_GET_SECONDS_ADJUST_IOCTL
int32_t
out
Returns the value of the second
adjust register
SCET_GET_SUBSECONDS_ADJUST_IOCTL
int32_t
out
Returns the value of the subsecond
adjust register
SCET_GET_PPS_O_EN_IOCTL
uint32_t
out
Returns whether the external PPS
out driver is enabled or not.
0 = Driver is disabled
1 = Driver is enabled
SCET_SET_SECONDS_IOCTL
int32_t
in
Input argument is the new second
value to set
SCET_SET_SUBSECONDS_IOCTL
int32_t
in
Input argument is the new subsecond
value to set
SCET_SET_INTERRUPT_ENABLE_IOCTL
uint32_t
in
Sets the interrupt enable mask
register
SCET_SET_INTERRUPT_STATUS_IOCTL
uint32_t
in
Sets the interrupt status register
SCET_SET_PPS_SOURCE_IOCTL
uint32_t
in
Sets the PPS source.
0 = External PPS source
1 = Internal PPS source