From 61d97599e77df6380ceb5496ab60c236335bae4e Mon Sep 17 00:00:00 2001 From: Julia Vassiliki Date: Tue, 21 Jul 2026 10:47:56 +1000 Subject: [PATCH] capdl-loader-app: fix MCS x86 us_to_ticks Variable got renamed during reviews but wasn't updated in the assert so this failed builds. Signed-off-by: Julia Vassiliki --- capdl-loader-app/src/main.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/capdl-loader-app/src/main.c b/capdl-loader-app/src/main.c index 8601114..c54dd46 100644 --- a/capdl-loader-app/src/main.c +++ b/capdl-loader-app/src/main.c @@ -2127,7 +2127,7 @@ static seL4_Time us_to_ticks(uint64_t duration_us) #elif defined(CONFIG_ARCH_X86) || defined(CONFIG_ARCH_X86_64) seL4_BootInfoHeader *tsc_freq_hdr = extended_bootinfo_table[SEL4_BOOTINFO_HEADER_X86_TSC_FREQ]; - ZF_LOGF_IF(tsc_freq == NULL, + ZF_LOGF_IF(tsc_freq_hdr == NULL, "Unable to determine timer frequency as no TSC frequency provided in bootinfo"); /* For x86 platforms, the timer frequency is provided in MHz by the bootinfo */ void *tsc_freq_mhz_addr = (void *)tsc_freq_hdr + sizeof(seL4_BootInfoHeader);