github/sparrow-kata-full
1
0
Fork 0
mirror of https://github.com/AmbiML/sparrow-kata-full.git synced 2025-09-07 08:19:59 +00:00
Code Issues Projects Releases Wiki Activity

Merge "kata: clang-format C test apps"

Browse Source 
GitOrigin-RevId: 88ffd6d1d37febf95c606cf51804069ac5efeb50
This commit is contained in:
Sam Leffler
2022-08-16 16:17:14 +00:00
parent a5ca02b0e7
commit 0b528c2a59
2 changed files with 38 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
apps/fibonacci/fibonacci.c
View File

@@ -32,8 +32,7 @@ __attribute__((naked)) void _start() {
"sw a2, 4(sp) \n" "sw a2, 4(sp) \n"
"sw a3, 0(sp) \n" "sw a3, 0(sp) \n"
".option pop \n" ".option pop \n"
"j main \n" "j main \n");
);
} }
// How many Fibonacci numbers to write to the log. // How many Fibonacci numbers to write to the log.
@@ -57,7 +56,7 @@ void minisel_printf(const char *fmt, ...) {
int printing = 0; int printing = 0;
for (int d = 1000000000; d > 1; d /= 10) { for (int d = 1000000000; d > 1; d /= 10) {
int n = (arg / d) % 10; int n = (arg / d) % 10;
if (printing || n > 0 ) { if (printing || n > 0) {
seL4_DebugPutChar('0' + n); seL4_DebugPutChar('0' + n);
printing = 1; printing = 1;
} }
@@ -125,8 +124,7 @@ uint64_t rdtime(void) {
} }
} }
void fibonacci_log(int pid, void fibonacci_log(int pid, const fibonacci_state_t *fibonacci_state,
const fibonacci_state_t *fibonacci_state,
interrupt_count_t interrupt_count) { interrupt_count_t interrupt_count) {
// TODO(sleffler): bring in snprintf // TODO(sleffler): bring in snprintf
#if 0 #if 0
@@ -138,17 +136,15 @@ void fibonacci_log(int pid,
virtual_seconds(interrupt_count)); virtual_seconds(interrupt_count));
minisel_printf(log_buf); minisel_printf(log_buf);
#else #else
minisel_printf("[%d]: " minisel_printf(
"[%d]: "
"n == %d; " "n == %d; "
"f == %x; " "f == %x; "
"interrupt_count == %d; " "interrupt_count == %d; "
"rdtime == %d; " "rdtime == %d; "
"virt_sec ~= %d\n", "virt_sec ~= %d\n",
pid, pid, (uint32_t)fibonacci_state->n, (uint32_t)fibonacci_state->f1,
(uint32_t)fibonacci_state->n, (uint32_t)interrupt_count, (uint32_t)rdtime(),
(uint32_t)fibonacci_state->f1,
(uint32_t)interrupt_count,
(uint32_t)rdtime(),
(uint32_t)virtual_seconds(interrupt_count)); (uint32_t)virtual_seconds(interrupt_count));
#endif #endif
} }

5
apps/hello/hello.c
View File

@@ -30,8 +30,7 @@ __attribute__((naked)) void _start() {
"sw a2, 4(sp) \n" "sw a2, 4(sp) \n"
"sw a3, 0(sp) \n" "sw a3, 0(sp) \n"
".option pop \n" ".option pop \n"
"j main \n" "j main \n");
);
} }
// only prints 32-bit "%x" hex values // only prints 32-bit "%x" hex values
@@ -61,7 +60,7 @@ int main(int a0, int a1, int a2, int a3) {
minisel_printf("\na0 %x a1 %x a2 %x a3 %x\n", a0, a1, a2, a3); minisel_printf("\na0 %x a1 %x a2 %x a3 %x\n", a0, a1, a2, a3);
minisel_printf("Done, sleeping in WFI loop\n"); minisel_printf("Done, sleeping in WFI loop\n");
while(1) { while (1) {
asm("wfi"); asm("wfi");
} }
} }