Lines Matching defs:unused4
782 seL4_Word unused4 = 0;
786 &unused4, &unused5, 0);
803 seL4_Word unused4 = 0;
807 &unused4, &unused5, 0);
830 seL4_Word unused4 = 0;
833 &unused3, &unused4, 0);
846 seL4_Word unused4 = 0;
850 &unused4, &unused5, 0);
872 seL4_Word unused4 = 0;
875 riscv_sys_send_recv(seL4_SysBenchmarkResetLog, 0, &ret, 0, &unused0, &unused1, &unused2, &unused3, &unused4, 0);
886 seL4_Word unused4 = 0;
889 riscv_sys_send_recv(seL4_SysBenchmarkFinalizeLog, 0, &index_ret, 0, &unused0, &unused1, &unused2, &unused3, &unused4,
901 seL4_Word unused4 = 0;
904 &unused4, 0);
934 seL4_Word unused4 = 0;
938 &unused4, &unused5, 0);
947 seL4_Word unused4 = 0;
951 &unused4, &unused5, 0);
960 seL4_Word unused4 = 0;
963 riscv_sys_send_recv(seL4_SysBenchmarkDumpAllThreadsUtilisation, 0, &unused0, 0, &unused1, &unused2, &unused3, &unused4,
973 seL4_Word unused4 = 0;
976 riscv_sys_send_recv(seL4_SysBenchmarkResetAllThreadsUtilisation, 0, &unused0, 0, &unused1, &unused2, &unused3, &unused4,