Skip to content

loader: fix mismatched type for inline assembly#489

Merged
Ivan-Velickovic merged 1 commit into
seL4:mainfrom
au-ts:kurt/asm-type
May 12, 2026
Merged

loader: fix mismatched type for inline assembly#489
Ivan-Velickovic merged 1 commit into
seL4:mainfrom
au-ts:kurt/asm-type

Conversation

@KurtWu10
Copy link
Copy Markdown
Contributor

This fixes the following warning when using the llvm toolchain

src/aarch64/init.c:140:45: error: value size does not match register size specified by the constraint and modifier [-Werror,-Wasm-operand-widths]
  140 |     asm volatile("msr TPIDR_EL1, %0" :: "r"(logical_cpu));
      |                                             ^
src/aarch64/init.c:140:34: note: use constraint modifier "w"
  140 |     asm volatile("msr TPIDR_EL1, %0" :: "r"(logical_cpu));
      |                                  ^~
      |                                  %w0
1 error generated.

Signed-off-by: Kurt Wu <rihui.wu@unsw.edu.au>
@Ivan-Velickovic
Copy link
Copy Markdown
Collaborator

Thanks, I noticed that recently but forgot to fix.

@Ivan-Velickovic Ivan-Velickovic merged commit afaecae into seL4:main May 12, 2026
11 checks passed
@KurtWu10 KurtWu10 deleted the kurt/asm-type branch May 12, 2026 10:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants