bsps i386: Address unused parameter warnings

Add "(void) param;" annotation to address unused parameter warnings.
Found with GCC's warning -Wunused-parameter.
This commit is contained in:
Joel Sherrill
2025-10-10 13:15:31 -05:00
committed by Gedare Bloom
parent a4319861c0
commit eb6af2871e
20 changed files with 205 additions and 6 deletions

View File

@@ -186,6 +186,8 @@ static bool pc386_ide_probe
| true, when flash disk available | | true, when flash disk available |
\*=========================================================================*/ \*=========================================================================*/
{ {
(void) minor;
bool ide_card_plugged = true; /* assume: we have a disk here */ bool ide_card_plugged = true; /* assume: we have a disk here */
return ide_card_plugged; return ide_card_plugged;
@@ -694,6 +696,10 @@ static int pc386_ide_control
| <none> | | <none> |
\*=========================================================================*/ \*=========================================================================*/
{ {
(void) minor;
(void) cmd;
(void) arg;
return 0; return 0;
} }
@@ -716,6 +722,9 @@ static rtems_status_code pc386_ide_config_io_speed
| rtems_status_code | | rtems_status_code |
\*=========================================================================*/ \*=========================================================================*/
{ {
(void) minor;
(void) modes_avail;
return RTEMS_SUCCESSFUL; return RTEMS_SUCCESSFUL;
} }

View File

@@ -105,11 +105,15 @@ extern volatile uint32_t Clock_driver_ticks;
static uint32_t pc386_get_timecount_tsc(struct timecounter *tc) static uint32_t pc386_get_timecount_tsc(struct timecounter *tc)
{ {
(void) tc;
return (uint32_t)rdtsc(); return (uint32_t)rdtsc();
} }
static uint32_t pc386_get_timecount_i8254(struct timecounter *tc) static uint32_t pc386_get_timecount_i8254(struct timecounter *tc)
{ {
(void) tc;
uint32_t irqs; uint32_t irqs;
uint8_t lsb, msb; uint8_t lsb, msb;
rtems_interrupt_lock_context lock_context; rtems_interrupt_lock_context lock_context;

View File

@@ -63,6 +63,8 @@ rtems_device_driver console_control(
) )
{ {
#if BSP_ENABLE_VGA #if BSP_ENABLE_VGA
(void) major;
if (minor == 0) { if (minor == 0) {
rtems_libio_ioctl_args_t *args = arg; rtems_libio_ioctl_args_t *args = arg;
@@ -85,6 +87,9 @@ rtems_device_driver console_control(
args->ioctl_return = 0; args->ioctl_return = 0;
return RTEMS_SUCCESSFUL; return RTEMS_SUCCESSFUL;
} }
#else
(void) major;
(void) minor;
#endif #endif
return rtems_termios_ioctl (arg); return rtems_termios_ioctl (arg);
} }

View File

@@ -114,10 +114,14 @@ static void xr17d15x_set_register(uintptr_t addr, uint8_t i, uint8_t val)
rtems_device_driver exar17d15x_initialize( rtems_device_driver exar17d15x_initialize(
rtems_device_major_number major, rtems_device_major_number major,
rtems_device_minor_number minor_arg, rtems_device_minor_number minor,
void *arg void *arg
) )
{ {
(void) major;
(void) minor;
(void) arg;
// int pbus, pdev, pfun; // int pbus, pdev, pfun;
exar17d15x_conf_t conf[MAX_BOARDS]; exar17d15x_conf_t conf[MAX_BOARDS];
int boards = 0; int boards = 0;

View File

@@ -853,6 +853,9 @@ frame_buffer_initialize(
void *arg void *arg
) )
{ {
(void) minor;
(void) arg;
rtems_status_code status; rtems_status_code status;
printk(FB_VESA_NAME " frame buffer -- driver initializing..\n" ); printk(FB_VESA_NAME " frame buffer -- driver initializing..\n" );
@@ -883,6 +886,10 @@ frame_buffer_open(
void *arg void *arg
) )
{ {
(void) major;
(void) minor;
(void) arg;
printk( FB_VESA_NAME " open device\n" ); printk( FB_VESA_NAME " open device\n" );
if (_Atomic_Flag_test_and_set(&driver_mutex, ATOMIC_ORDER_ACQUIRE) != 0 ) if (_Atomic_Flag_test_and_set(&driver_mutex, ATOMIC_ORDER_ACQUIRE) != 0 )
@@ -906,6 +913,10 @@ frame_buffer_close(
void *arg void *arg
) )
{ {
(void) major;
(void) minor;
(void) arg;
printk( FB_VESA_NAME " close device\n" ); printk( FB_VESA_NAME " close device\n" );
_Atomic_Flag_clear(&driver_mutex, ATOMIC_ORDER_RELEASE); _Atomic_Flag_clear(&driver_mutex, ATOMIC_ORDER_RELEASE);
/* restore previous state. for VGA this means return to text mode. /* restore previous state. for VGA this means return to text mode.
@@ -926,6 +937,9 @@ frame_buffer_read(
void *arg void *arg
) )
{ {
(void) major;
(void) minor;
printk( FB_VESA_NAME " read device\n" ); printk( FB_VESA_NAME " read device\n" );
rtems_libio_rw_args_t *rw_args = (rtems_libio_rw_args_t *)arg; rtems_libio_rw_args_t *rw_args = (rtems_libio_rw_args_t *)arg;
rw_args->bytes_moved = rw_args->bytes_moved =
@@ -947,6 +961,9 @@ frame_buffer_write(
void *arg void *arg
) )
{ {
(void) major;
(void) minor;
printk( FB_VESA_NAME " write device\n" ); printk( FB_VESA_NAME " write device\n" );
rtems_libio_rw_args_t *rw_args = (rtems_libio_rw_args_t *)arg; rtems_libio_rw_args_t *rw_args = (rtems_libio_rw_args_t *)arg;
rw_args->bytes_moved = rw_args->bytes_moved =
@@ -981,6 +998,9 @@ frame_buffer_control(
void *arg void *arg
) )
{ {
(void) major;
(void) minor;
rtems_libio_ioctl_args_t *args = arg; rtems_libio_ioctl_args_t *args = arg;
printk( FB_VESA_NAME " ioctl called, cmd=%lx\n", (uintptr_t) args->command ); printk( FB_VESA_NAME " ioctl called, cmd=%lx\n", (uintptr_t) args->command );

View File

@@ -68,6 +68,8 @@ int BSPBaseBaud;
static bool gdb_port_probe(int minor) static bool gdb_port_probe(int minor)
{ {
(void) minor;
/* Return false as GDB has claimed the port */ /* Return false as GDB has claimed the port */
return false; return false;
} }

View File

@@ -126,11 +126,14 @@ int i386_gdb_uart_ctrl_c_check(void)
static void static void
nop(const rtems_raw_irq_connect_data* notused) nop(const rtems_raw_irq_connect_data* notused)
{ {
(void) notused;
} }
static int static int
isOn(const rtems_raw_irq_connect_data* notused) isOn(const rtems_raw_irq_connect_data* notused)
{ {
(void) notused;
return 1; return 1;
} }

View File

@@ -25,6 +25,8 @@
/* adds a kbd message to the queue */ /* adds a kbd message to the queue */
static void kbd_parser( void *ptr, unsigned short keycode, unsigned long mods ) static void kbd_parser( void *ptr, unsigned short keycode, unsigned long mods )
{ {
(void) mods;
struct MW_UID_MESSAGE m; struct MW_UID_MESSAGE m;
struct kbd_struct * kbd = (struct kbd_struct *)ptr; struct kbd_struct * kbd = (struct kbd_struct *)ptr;
@@ -39,10 +41,15 @@ static void kbd_parser( void *ptr, unsigned short keycode, unsigned long mods )
void register_kbd_msg_queue( char *q_name, int port ) void register_kbd_msg_queue( char *q_name, int port )
{ {
(void) q_name;
(void) port;
kbd_set_driver_handler( kbd_parser ); kbd_set_driver_handler( kbd_parser );
} }
void unregister_kbd_msg_queue( int port ) void unregister_kbd_msg_queue( int port )
{ {
(void) port;
kbd_set_driver_handler( NULL ); kbd_set_driver_handler( NULL );
} }

View File

@@ -465,6 +465,8 @@ static void SAK(void)
static void do_ignore(unsigned char value, char up_flag) static void do_ignore(unsigned char value, char up_flag)
{ {
(void) value;
(void) up_flag;
} }
static void do_null() static void do_null()
@@ -488,6 +490,8 @@ static void do_spec(unsigned char value, char up_flag)
static void do_lowercase(unsigned char value, char up_flag) static void do_lowercase(unsigned char value, char up_flag)
{ {
(void) value;
(void) up_flag;
} }
static void do_self(unsigned char value, char up_flag) static void do_self(unsigned char value, char up_flag)
@@ -562,6 +566,8 @@ unsigned char handle_diacr(unsigned char ch)
static void do_cons(unsigned char value, char up_flag) static void do_cons(unsigned char value, char up_flag)
{ {
(void) value;
if (up_flag) if (up_flag)
return; return;
} }

View File

@@ -384,6 +384,8 @@ static unsigned char handle_kbd_event(void)
void keyboard_interrupt(void *unused) void keyboard_interrupt(void *unused)
{ {
(void) unused;
handle_kbd_event(); handle_kbd_event();
} }
@@ -449,6 +451,9 @@ void pckbd_leds(unsigned char leds)
/* for "kbd-reset" cmdline param */ /* for "kbd-reset" cmdline param */
void kbd_reset_setup(char *str, int *ints) void kbd_reset_setup(char *str, int *ints)
{ {
(void) str;
(void) ints;
kbd_startup_reset = 1; kbd_startup_reset = 1;
} }

View File

@@ -71,6 +71,8 @@ static void ps2_set_driver_handler(
mouse_parser_enqueue_handler handler mouse_parser_enqueue_handler handler
) )
{ {
(void) port;
driver_input_handler_ps2 = handler; driver_input_handler_ps2 = handler;
} }
@@ -204,6 +206,8 @@ static unsigned char handle_kbd_event(void)
static void ps2_mouse_interrupt(void * unused) static void ps2_mouse_interrupt(void * unused)
{ {
(void) unused;
handle_kbd_event(); handle_kbd_event();
} }
@@ -370,6 +374,8 @@ size_t read_aux(char * buffer, size_t count )
*/ */
static int write_aux( int minor, const char * buffer, int count ) static int write_aux( int minor, const char * buffer, int count )
{ {
(void) minor;
int retval = 0; int retval = 0;
if (count) { if (count) {
@@ -422,6 +428,9 @@ rtems_device_driver paux_initialize(
rtems_device_minor_number minor, rtems_device_minor_number minor,
void *arg) void *arg)
{ {
(void) minor;
(void) arg;
rtems_status_code status; rtems_status_code status;
/* /*
@@ -449,6 +458,10 @@ rtems_device_driver paux_initialize(
static int paux_last_close(int major, int minor, void *arg) static int paux_last_close(int major, int minor, void *arg)
{ {
(void) major;
(void) minor;
(void) arg;
release_aux(); release_aux();
return 0; return 0;
} }
@@ -460,6 +473,10 @@ static int paux_last_close(int major, int minor, void *arg)
*/ */
static ssize_t write_aux_echo( int minor, const char * buffer, size_t count ) static ssize_t write_aux_echo( int minor, const char * buffer, size_t count )
{ {
(void) minor;
(void) buffer;
(void) count;
return 0; return 0;
} }
@@ -497,6 +514,9 @@ rtems_device_driver paux_close(
rtems_device_minor_number minor, rtems_device_minor_number minor,
void *arg) void *arg)
{ {
(void) major;
(void) minor;
return (rtems_termios_close (arg)); return (rtems_termios_close (arg));
} }
@@ -509,6 +529,9 @@ rtems_device_driver paux_read(
rtems_device_minor_number minor, rtems_device_minor_number minor,
void *arg) void *arg)
{ {
(void) major;
(void) minor;
return rtems_termios_read (arg); return rtems_termios_read (arg);
} /* tty_read */ } /* tty_read */
@@ -521,6 +544,8 @@ rtems_device_driver paux_write(
rtems_device_minor_number minor, rtems_device_minor_number minor,
void *arg) void *arg)
{ {
(void) major;
rtems_libio_rw_args_t *rw_args = (rtems_libio_rw_args_t *)arg; rtems_libio_rw_args_t *rw_args = (rtems_libio_rw_args_t *)arg;
char *buffer = rw_args->buffer; char *buffer = rw_args->buffer;
int maximum = rw_args->count; int maximum = rw_args->count;
@@ -537,6 +562,8 @@ rtems_device_driver paux_control(
void *arg void *arg
) )
{ {
(void) major;
rtems_libio_ioctl_args_t *args = arg; rtems_libio_ioctl_args_t *args = arg;
switch( args->command ) { switch( args->command ) {

View File

@@ -69,10 +69,14 @@ void rtd316_com_set_register(uintptr_t addr, uint8_t reg, uint8_t val)
rtems_device_driver rtd316_initialize( rtems_device_driver rtd316_initialize(
rtems_device_major_number major, rtems_device_major_number major,
rtems_device_minor_number minor_arg, rtems_device_minor_number minor,
void *arg void *arg
) )
{ {
(void) major;
(void) minor;
(void) arg;
int p; int p;
console_tbl *ports; console_tbl *ports;
console_tbl *port_p; console_tbl *port_p;

View File

@@ -49,6 +49,9 @@ tty1_initialize(rtems_device_major_number major,
rtems_device_minor_number minor, rtems_device_minor_number minor,
void *arg) void *arg)
{ {
(void) minor;
(void) arg;
rtems_status_code status; rtems_status_code status;
/* Check if this port is not been used as console */ /* Check if this port is not been used as console */
@@ -92,6 +95,10 @@ tty1_initialize(rtems_device_major_number major,
static int tty1_last_close(int major, int minor, void *arg) static int tty1_last_close(int major, int minor, void *arg)
{ {
(void) major;
(void) minor;
(void) arg;
rtems_status_code status; rtems_status_code status;
status = rtems_interrupt_handler_remove( status = rtems_interrupt_handler_remove(
@@ -163,9 +170,10 @@ tty_close(rtems_device_major_number major,
rtems_device_minor_number minor, rtems_device_minor_number minor,
void *arg) void *arg)
{ {
(void) major;
(void) minor;
return (rtems_termios_close (arg)); return (rtems_termios_close (arg));
} /* tty_close */ } /* tty_close */
/* /*
@@ -177,6 +185,9 @@ tty_read(rtems_device_major_number major,
rtems_device_minor_number minor, rtems_device_minor_number minor,
void *arg) void *arg)
{ {
(void) major;
(void) minor;
return rtems_termios_read (arg); return rtems_termios_read (arg);
} /* tty_read */ } /* tty_read */
@@ -189,6 +200,9 @@ tty_write(rtems_device_major_number major,
rtems_device_minor_number minor, rtems_device_minor_number minor,
void * arg) void * arg)
{ {
(void) major;
(void) minor;
return rtems_termios_write (arg); return rtems_termios_write (arg);
} /* tty_write */ } /* tty_write */
@@ -199,6 +213,8 @@ tty_write(rtems_device_major_number major,
*/ */
static rtems_device_driver tty_control( int port, void *arg ) static rtems_device_driver tty_control( int port, void *arg )
{ {
(void) port;
rtems_libio_ioctl_args_t *args = arg; rtems_libio_ioctl_args_t *args = arg;
switch( args->command ) switch( args->command )
{ {
@@ -219,12 +235,17 @@ tty1_control(rtems_device_major_number major,
void * arg void * arg
) )
{ {
(void) major;
(void) minor;
return tty_control( BSP_UART_COM1, arg ); return tty_control( BSP_UART_COM1, arg );
} }
static int static int
conSetAttr(int port, int minor, const struct termios *t) conSetAttr(int port, int minor, const struct termios *t)
{ {
(void) minor;
unsigned long baud, databits, parity, stopbits; unsigned long baud, databits, parity, stopbits;
baud = rtems_termios_baud_to_number(t->c_ospeed); baud = rtems_termios_baud_to_number(t->c_ospeed);
@@ -287,6 +308,9 @@ tty2_initialize(rtems_device_major_number major,
rtems_device_minor_number minor, rtems_device_minor_number minor,
void *arg) void *arg)
{ {
(void) minor;
(void) arg;
rtems_status_code status; rtems_status_code status;
/* Check if this port is not been used as console */ /* Check if this port is not been used as console */
@@ -331,6 +355,10 @@ tty2_initialize(rtems_device_major_number major,
static int tty2_last_close(int major, int minor, void *arg) static int tty2_last_close(int major, int minor, void *arg)
{ {
(void) major;
(void) minor;
(void) arg;
rtems_status_code status; rtems_status_code status;
status = rtems_interrupt_handler_remove( status = rtems_interrupt_handler_remove(
@@ -403,7 +431,10 @@ tty2_control(rtems_device_major_number major,
void * arg void * arg
) )
{ {
return tty_control( BSP_UART_COM2, arg ); (void) major;
(void) minor;
return tty_control( BSP_UART_COM2, arg );
} }
static int static int

View File

@@ -498,6 +498,8 @@ BSP_uart_termios_set(int uart, void *ttyp)
int int
BSP_uart_termios_read_com1(int uart) BSP_uart_termios_read_com1(int uart)
{ {
(void) uart;
int off = (int)0; int off = (int)0;
char buf[40]; char buf[40];
@@ -521,6 +523,8 @@ BSP_uart_termios_read_com1(int uart)
int int
BSP_uart_termios_read_com2(int uart) BSP_uart_termios_read_com2(int uart)
{ {
(void) uart;
int off = (int)0; int off = (int)0;
char buf[40]; char buf[40];
@@ -544,6 +548,8 @@ BSP_uart_termios_read_com2(int uart)
ssize_t ssize_t
BSP_uart_termios_write_com1(int minor, const char *buf, size_t len) BSP_uart_termios_write_com1(int minor, const char *buf, size_t len)
{ {
(void) minor;
if(len <= 0) if(len <= 0)
{ {
return 0; return 0;
@@ -578,6 +584,8 @@ BSP_uart_termios_write_com1(int minor, const char *buf, size_t len)
ssize_t ssize_t
BSP_uart_termios_write_com2(int minor, const char *buf, size_t len) BSP_uart_termios_write_com2(int minor, const char *buf, size_t len)
{ {
(void) minor;
if(len <= 0) if(len <= 0)
{ {
return 0; return 0;
@@ -612,6 +620,8 @@ BSP_uart_termios_write_com2(int minor, const char *buf, size_t len)
void void
BSP_uart_termios_isr_com1(void *ignored) BSP_uart_termios_isr_com1(void *ignored)
{ {
(void) ignored;
unsigned char buf[40]; unsigned char buf[40];
unsigned char val; unsigned char val;
int off, ret, vect; int off, ret, vect;
@@ -708,6 +718,8 @@ BSP_uart_termios_isr_com1(void *ignored)
void void
BSP_uart_termios_isr_com2(void *ignored) BSP_uart_termios_isr_com2(void *ignored)
{ {
(void) ignored;
unsigned char buf[40]; unsigned char buf[40];
unsigned char val; unsigned char val;
int off, ret, vect; int off, ret, vect;

View File

@@ -51,6 +51,8 @@
*/ */
VGACONS_STATIC void vgacons_init(int minor) VGACONS_STATIC void vgacons_init(int minor)
{ {
(void) minor;
/* /*
* Note: We do not initialize the KBD interface here since * Note: We do not initialize the KBD interface here since
* it was initialized regardless of whether the * it was initialized regardless of whether the
@@ -72,6 +74,10 @@ VGACONS_STATIC int vgacons_open(
void *arg void *arg
) )
{ {
(void) major;
(void) minor;
(void) arg;
return RTEMS_SUCCESSFUL; return RTEMS_SUCCESSFUL;
} }
@@ -86,6 +92,10 @@ VGACONS_STATIC int vgacons_close(
void *arg void *arg
) )
{ {
(void) major;
(void) minor;
(void) arg;
return(RTEMS_SUCCESSFUL); return(RTEMS_SUCCESSFUL);
} }
@@ -99,6 +109,8 @@ VGACONS_STATIC void vgacons_write_polled(
char c char c
) )
{ {
(void) minor;
_IBMPC_outch( c ); _IBMPC_outch( c );
if( c == '\n') if( c == '\n')
_IBMPC_outch( '\r' ); /* LF = LF + CR */ _IBMPC_outch( '\r' ); /* LF = LF + CR */
@@ -141,6 +153,8 @@ VGACONS_STATIC int vgacons_inbyte_nonblocking_polled(
int minor int minor
) )
{ {
(void) minor;
if( rtems_kbpoll() ) { if( rtems_kbpoll() ) {
int c = getch(); int c = getch();
return c; return c;
@@ -160,6 +174,9 @@ VGACONS_STATIC int vgacons_set_attributes(
const struct termios *t const struct termios *t
) )
{ {
(void) minor;
(void) t;
return 0; return 0;
} }
@@ -167,6 +184,8 @@ bool vgacons_probe(
int minor int minor
) )
{ {
(void) minor;
rtems_status_code status; rtems_status_code status;
static bool firstTime = true; static bool firstTime = true;

View File

@@ -61,6 +61,8 @@ unsigned char keyboard_type = KB_101;
static void static void
kd_nosound(unsigned long ignored) kd_nosound(unsigned long ignored)
{ {
(void) ignored;
/* disable counter 2 */ /* disable counter 2 */
outb(inb_p(0x61)&0xFC, 0x61); outb(inb_p(0x61)&0xFC, 0x61);
return; return;
@@ -69,6 +71,8 @@ kd_nosound(unsigned long ignored)
static void static void
_kd_mksound(unsigned int hz, unsigned int ticks) _kd_mksound(unsigned int hz, unsigned int ticks)
{ {
(void) ticks;
unsigned int count = 0; unsigned int count = 0;
rtems_interrupt_lock_context lock_context; rtems_interrupt_lock_context lock_context;
@@ -116,6 +120,8 @@ void (*kd_mksound)(unsigned int hz, unsigned int ticks) = _kd_mksound;
static inline int static inline int
do_kdsk_ioctl(int cmd, struct kbentry *user_kbe, int perm, struct kbd_struct *kbd) do_kdsk_ioctl(int cmd, struct kbentry *user_kbe, int perm, struct kbd_struct *kbd)
{ {
(void) perm;
struct kbentry tmp; struct kbentry tmp;
ushort *key_map, val; ushort *key_map, val;
@@ -171,6 +177,10 @@ do_kbkeycode_ioctl(int cmd, struct kbkeycode *user_kbkc, int perm)
static inline int static inline int
do_kdgkb_ioctl(int cmd, struct kbsentry *user_kdgkb, int perm) do_kdgkb_ioctl(int cmd, struct kbsentry *user_kdgkb, int perm)
{ {
(void) cmd;
(void) user_kdgkb;
(void) perm;
return -EINVAL; return -EINVAL;
} }

View File

@@ -513,6 +513,7 @@ static inline void show_console(void)
static inline void set_console(int nr) static inline void set_console(int nr)
{ {
(void) nr;
} }
void set_leds(void); void set_leds(void);

View File

@@ -47,8 +47,14 @@ void _CPU_enable_cache(void)
*/ */
#if defined(I386_CACHE_ALIGNMENT) #if defined(I386_CACHE_ALIGNMENT)
static void _CPU_cache_flush_1_data_line(const void *d_addr) {} static void _CPU_cache_flush_1_data_line(const void *d_addr)
static void _CPU_cache_invalidate_1_data_line(const void *d_addr) {} {
(void) d_addr;
}
static void _CPU_cache_invalidate_1_data_line(const void *d_addr)
{
(void) d_addr;
}
static void _CPU_cache_freeze_data(void) {} static void _CPU_cache_freeze_data(void) {}
static void _CPU_cache_unfreeze_data(void) {} static void _CPU_cache_unfreeze_data(void) {}
static void _CPU_cache_flush_entire_data(void) static void _CPU_cache_flush_entire_data(void)
@@ -68,6 +74,8 @@ static void _CPU_cache_invalidate_entire_instruction(void)
static void _CPU_cache_invalidate_1_instruction_line(const void *i_addr) static void _CPU_cache_invalidate_1_instruction_line(const void *i_addr)
{ {
(void) i_addr;
_CPU_cache_invalidate_entire_instruction(); _CPU_cache_invalidate_entire_instruction();
} }

View File

@@ -278,6 +278,9 @@ rtems_status_code bsp_interrupt_get_attributes(
rtems_interrupt_attributes *attributes rtems_interrupt_attributes *attributes
) )
{ {
(void) vector;
(void) attributes;
return RTEMS_SUCCESSFUL; return RTEMS_SUCCESSFUL;
} }
@@ -286,6 +289,8 @@ rtems_status_code bsp_interrupt_is_pending(
bool *pending bool *pending
) )
{ {
(void) vector;
bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector)); bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector));
bsp_interrupt_assert(pending != NULL); bsp_interrupt_assert(pending != NULL);
*pending = false; *pending = false;
@@ -294,6 +299,8 @@ rtems_status_code bsp_interrupt_is_pending(
rtems_status_code bsp_interrupt_raise(rtems_vector_number vector) rtems_status_code bsp_interrupt_raise(rtems_vector_number vector)
{ {
(void) vector;
bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector)); bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector));
return RTEMS_UNSATISFIED; return RTEMS_UNSATISFIED;
} }
@@ -304,6 +311,8 @@ rtems_status_code bsp_interrupt_raise_on(
uint32_t cpu_index uint32_t cpu_index
) )
{ {
(void) cpu_index;
bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector)); bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector));
return RTEMS_UNSATISFIED; return RTEMS_UNSATISFIED;
} }
@@ -311,6 +320,8 @@ rtems_status_code bsp_interrupt_raise_on(
rtems_status_code bsp_interrupt_clear(rtems_vector_number vector) rtems_status_code bsp_interrupt_clear(rtems_vector_number vector)
{ {
(void) vector;
bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector)); bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector));
return RTEMS_UNSATISFIED; return RTEMS_UNSATISFIED;
} }
@@ -320,6 +331,8 @@ rtems_status_code bsp_interrupt_vector_is_enabled(
bool *enabled bool *enabled
) )
{ {
(void) vector;
bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector)); bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector));
bsp_interrupt_assert(enabled != NULL); bsp_interrupt_assert(enabled != NULL);
*enabled = false; *enabled = false;
@@ -345,6 +358,9 @@ rtems_status_code bsp_interrupt_set_priority(
uint32_t priority uint32_t priority
) )
{ {
(void) vector;
(void) priority;
bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector)); bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector));
return RTEMS_UNSATISFIED; return RTEMS_UNSATISFIED;
} }
@@ -354,6 +370,9 @@ rtems_status_code bsp_interrupt_get_priority(
uint32_t *priority uint32_t *priority
) )
{ {
(void) vector;
(void) priority;
bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector)); bsp_interrupt_assert(bsp_interrupt_is_valid_vector(vector));
bsp_interrupt_assert(priority != NULL); bsp_interrupt_assert(priority != NULL);
return RTEMS_UNSATISFIED; return RTEMS_UNSATISFIED;

View File

@@ -54,6 +54,7 @@ extern void default_raw_idt_handler(void);
*/ */
static void raw_nop_func(const struct __rtems_raw_irq_connect_data__ *unused) static void raw_nop_func(const struct __rtems_raw_irq_connect_data__ *unused)
{ {
(void) unused;
} }
/* /*
@@ -63,6 +64,8 @@ static int raw_not_connected(
const struct __rtems_raw_irq_connect_data__ *unused const struct __rtems_raw_irq_connect_data__ *unused
) )
{ {
(void) unused;
return 0; return 0;
} }