Skip to content
Permalink

Comparing changes

This is a direct comparison between two commits made in this repository or its related repositories. View the default comparison for this range or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: axel-h/seL4
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: d508595dd4d65ac2cc87707bf345b3b684f5f563
Choose a base ref
..
head repository: axel-h/seL4
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 8da913e4c6a733e8354372a3dd3f1a05d9c789f7
Choose a head ref
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/util.c
2 changes: 1 addition & 1 deletion src/util.c
Original file line number Diff line number Diff line change
@@ -413,7 +413,7 @@ static UNUSED CONST inline unsigned ctz64(uint64_t x)
return count;
}

// The cpmpiler builtins will emit calls to these functions when the platform
// The compiler builtins will emit calls to these functions when the platform
// does not provide suitable inline assembly. These are only provided when the
// relevant config items are set. We define these separately from `ctz32` etc.
// so that we can verify all of `ctz32` etc. without necessarily linking them