portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Debug, x86: Fix seL4_DebugGetThreadAffinity

Browse source 
Currently causes compile errors. It should match seL4_DebugCapIdentify,
except return affinity instead of cap type.

Signed-off-by: Indan Zupancic <indan@nul.nu>
This commit is contained in:
Indan Zupancic 2026-06-22 14:43:54 +01:00 committed by Gerwin Klein
parent 90b5159800
commit f2ab32d203
2 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
libsel4/sel4_arch_include/ia32/sel4/sel4_arch/syscalls.h
View file

@ -880,9 +880,7 @@ LIBSEL4_INLINE_FUNC seL4_Word seL4_DebugGetThreadAffinity(seL4_CPtr tcb)
{
seL4_Word unused0 = 0;
seL4_Word unused1 = 0;
seL4_Word unused2 = 0;
seL4_Word unused3 = 0;
seL4_Word unused4 = 0;
LIBSEL4_UNUSED seL4_Word unused2 = 0;
seL4_Word affinity = 0;

2
libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/syscalls.h
View file

@ -686,7 +686,7 @@ LIBSEL4_INLINE_FUNC seL4_Word seL4_DebugGetThreadAffinity(seL4_CPtr tcb)
seL4_Word affinity = 0;
x64_sys_send_recv(seL4_SysDebugGetThreadAffinity, tcb, &affinity, 0,
&unused0, &unused1, &unused3, &unused4, &unused5, 0);
&unused0, &unused1, &unused2, &unused3, &unused4, 0);
return affinity;
}
#endif /* CONFIG_ENABLE_SMP_SUPPORT */