| /seL4-refos-master/libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | printer.h | 37 acpi_print_table(const void* start UNUSED) {} argument
40 acpi_print_table_raw(const void* start UNUSED, int length UNUSED) {} argument
43 acpi_print_regions(const RegionList_t* rl UNUSED) {} argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/acpi/ |
| H A D | printer.h | 37 acpi_print_table(const void* start UNUSED) {} argument
40 acpi_print_table_raw(const void* start UNUSED, int length UNUSED) {} argument
43 acpi_print_regions(const RegionList_t* rl UNUSED) {} argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/ |
| H A D | serial.c | 18 uart_write( ps_chardevice_t *d, const void *vdata, size_t count, chardev_callback_t rcb UNUSED, void *token UNUSED) argument
34 uart_read( ps_chardevice_t *d, void *vdata, size_t count, chardev_callback_t rcb UNUSED, void *token UNUSED) argument
|
| /seL4-refos-master/libs/libplatsupport/src/ |
| H A D | serial.c | 18 uart_write( ps_chardevice_t *d, const void *vdata, size_t count, chardev_callback_t rcb UNUSED, void *token UNUSED) argument
34 uart_read( ps_chardevice_t *d, void *vdata, size_t count, chardev_callback_t rcb UNUSED, void *token UNUSED) argument
|
| /seL4-refos-master/seL4_tools/elfloader-tool/src/binaries/efi/gnuefi/ |
| H A D | reloc_aarch64.c | 46 _relocate(unsigned long ldbase, struct Elf64_Dyn *dyn, void *image UNUSED, void *systab UNUSED) argument
|
| /seL4-refos-master/tools/elfloader/src/binaries/efi/gnuefi/ |
| H A D | reloc_aarch64.c | 46 _relocate(unsigned long ldbase, struct Elf64_Dyn *dyn, void *image UNUSED, void *systab UNUSED) argument
|
| /seL4-refos-master/libs/libsel4platsupport/src/ |
| H A D | serial.c | 20 static ssize_t debug_write(ps_chardevice_t *device UNUSED, const void *vdata, size_t count, argument
|
| /seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/ |
| H A D | serial.c | 20 static ssize_t debug_write(ps_chardevice_t *device UNUSED, const void *vdata, size_t count, argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/polarfire/ |
| H A D | uart.c | 58 static void uart_handle_irq(ps_chardevice_t *d UNUSED) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/polarfire/ |
| H A D | uart.c | 58 static void uart_handle_irq(ps_chardevice_t *d UNUSED) argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/am335x/ |
| H A D | serial.c | 53 uart_handle_irq(ps_chardevice_t* d UNUSED) argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/apq8064/ |
| H A D | serial.c | 33 uart_handle_irq(ps_chardevice_t* d UNUSED) argument
49 int uart_getchar(ps_chardevice_t* d UNUSED) argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/pc99/ |
| H A D | keyboard_chardev.c | 38 keyboard_write(ps_chardevice_t* d, const void* vdata, size_t count, chardev_callback_t rcb UNUSED, argument
46 keyboard_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb UNUSED, argument
64 keyboard_handle_irq(ps_chardevice_t* device UNUSED) argument
|
| H A D | ega.c | 61 text_ega_getchar(ps_chardevice_t* d UNUSED) argument
98 text_ega_write(ps_chardevice_t* d, const void* vdata, size_t count, chardev_callback_t rcb UNUSED, void* token UNUSED) argument
111 text_ega_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb UNUSED, void* token UNUSED) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/ |
| H A D | serial.c | 53 uart_handle_irq(ps_chardevice_t* d UNUSED) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/apq8064/ |
| H A D | serial.c | 33 uart_handle_irq(ps_chardevice_t* d UNUSED) argument
49 int uart_getchar(ps_chardevice_t* d UNUSED) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
| H A D | keyboard_chardev.c | 38 keyboard_write(ps_chardevice_t* d, const void* vdata, size_t count, chardev_callback_t rcb UNUSED, argument
46 keyboard_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb UNUSED, argument
64 keyboard_handle_irq(ps_chardevice_t* device UNUSED) argument
|
| H A D | ega.c | 61 text_ega_getchar(ps_chardevice_t* d UNUSED) argument
98 text_ega_write(ps_chardevice_t* d, const void* vdata, size_t count, chardev_callback_t rcb UNUSED, void* token UNUSED) argument
111 text_ega_read(ps_chardevice_t* d, void* vdata, size_t count, chardev_callback_t rcb UNUSED, void* token UNUSED) argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/rockpro64/ |
| H A D | serial.c | 53 uart_handle_irq(ps_chardevice_t* d UNUSED) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/rockpro64/ |
| H A D | serial.c | 53 uart_handle_irq(ps_chardevice_t* d UNUSED) argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/bcm2837/ |
| H A D | serial.c | 48 uart_handle_irq(ps_chardevice_t* d UNUSED) argument
60 int uart_getchar(ps_chardevice_t* d UNUSED) argument
|
| /seL4-refos-master/libs/libplatsupport/src/plat/imx31/ |
| H A D | serial.c | 67 static void uart_handle_irq(ps_chardevice_t* d UNUSED) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/bcm2837/ |
| H A D | serial.c | 48 uart_handle_irq(ps_chardevice_t* d UNUSED) argument
60 int uart_getchar(ps_chardevice_t* d UNUSED) argument
|
| /seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx31/ |
| H A D | serial.c | 67 static void uart_handle_irq(ps_chardevice_t* d UNUSED) argument
|
| /seL4-refos-master/seL4_tools/elfloader-tool/include/ |
| H A D | elfloader_common.h | 28 #define UNUSED __attribute__((unused)) macro
|