Update code comments

Author: bcoles

src/inference/config_max_offset_bound.c

@@ -16,8 +16,8 @@
 // With 16 MiB max_offset: 256 slots (256 × 64 KiB). A 256× reduction.
 //
 // MIPS: same masking pattern; CONFIG_RANDOMIZE_BASE_MAX_OFFSET default is
-// arch/mips/Kconfig-defined. MIPS64 KASLR is not deployed in production
-// (MIPS H6 confirmed), so LoongArch is the primary target in practice.
+// arch/mips/Kconfig-defined. MIPS64 KASLR is not deployed in production,
+// so LoongArch is the primary target in practice.
 //
 // If the config file is unreadable or the option is absent, this plugin is a
 // no-op. The plugin is naturally a no-op on architectures that do not set

src/inference/kaslr_ceiling.c

@@ -54,7 +54,7 @@
  * tiny stub files, placeholder symlinks, and partial downloads that would
  * produce wildly wrong kernel-size estimates. */
 #define MIN_VMLINUZ_BYTES (512UL * 1024)
-#define MIN_SYSMAP_BYTES  (256UL * 1024)
+#define MIN_SYSMAP_BYTES (256UL * 1024)
 
 /* stat() requires only execute permission on the parent directory, not read
  * permission on the file itself. */
@@ -64,7 +64,7 @@
  * arch/arm64/include/asm/image.h) places image_size as a u64 LE field at
  * byte offset 16, preceded by MZ magic at offset 0. Returns 0 on failure. */
 static unsigned long estimate_from_image_header(const char *release) {
-  const char * const paths[] = {
+  const char *const paths[] = {
       "/boot/Image-%s",
       "/boot/vmlinuz-%s",
       NULL,
@@ -86,14 +86,10 @@ static unsigned long estimate_from_image_header(const char *release) {
       continue;
 
     uint64_t image_size =
-        ((uint64_t)hdr[16])        |
-        ((uint64_t)hdr[17] <<  8)  |
-        ((uint64_t)hdr[18] << 16)  |
-        ((uint64_t)hdr[19] << 24)  |
-        ((uint64_t)hdr[20] << 32)  |
-        ((uint64_t)hdr[21] << 40)  |
-        ((uint64_t)hdr[22] << 48)  |
-        ((uint64_t)hdr[23] << 56);
+        ((uint64_t)hdr[16]) | ((uint64_t)hdr[17] << 8) |
+        ((uint64_t)hdr[18] << 16) | ((uint64_t)hdr[19] << 24) |
+        ((uint64_t)hdr[20] << 32) | ((uint64_t)hdr[21] << 40) |
+        ((uint64_t)hdr[22] << 48) | ((uint64_t)hdr[23] << 56);
 
     if (image_size < MIN_VMLINUZ_BYTES)
       continue;
@@ -142,13 +138,12 @@ static unsigned long estimate_kernel_size(void) {
     return 0;
 
   unsigned long from_hdr = estimate_from_image_header(uts.release);
-  unsigned long vmlinuz   = estimate_from_vmlinuz(uts.release);
-  unsigned long sysmap    = estimate_from_sysmap(uts.release);
+  unsigned long vmlinuz = estimate_from_vmlinuz(uts.release);
+  unsigned long sysmap = estimate_from_sysmap(uts.release);
 
   /* Discard the header value if it falls below a known lower bound. */
-  if (from_hdr > 0 &&
-      ((vmlinuz > 0 && from_hdr < vmlinuz) ||
-       (sysmap  > 0 && from_hdr < sysmap)))
+  if (from_hdr > 0 && ((vmlinuz > 0 && from_hdr < vmlinuz) ||
+                       (sysmap > 0 && from_hdr < sysmap)))
     from_hdr = 0;
 
   if (from_hdr)

src/inference/min_offset_from_image_size.c

@@ -23,7 +23,7 @@
 // sound: the kernel cannot load within the forbidden zone, and the zone
 // extends at least gap bytes from KASLR_BASE_MIN.
 //
-// LoongArch extension (see LoongArch H4):
+// LoongArch extension:
 //   When kernel_length ≥ CONFIG_RANDOMIZE_BASE_MAX_OFFSET, every offset
 //   drawn from [0, max_offset) satisfies offset < kernel_length, so the
 //   bump always fires. On LoongArch the bump is an assignment (not an
@@ -37,8 +37,8 @@
 //   and setting text_base_max = KASLR_BASE_MIN + ALIGN(gap) could exclude
 //   the true text base if gap underestimates by more than one KERNEL_ALIGN
 //   step. Implementing the bilateral pin soundly requires exact kernel_length
-//   (e.g. from /boot/Image header — see riscv64_fdt_kaslr_seed §6 for the
-//   Image-header approach; a LoongArch variant is a future enhancement).
+//   (e.g. from /boot/Image header — see riscv64_fdt_kaslr_seed inference for
+//   the Image-header approach; a LoongArch variant is a future enhancement).
 //
 // Note: config_max_offset_bound (PRE_COLLECTION) sets
 //   text_base_max = KASLR_BASE_MIN + max_offset.
@@ -48,7 +48,6 @@
 //
 // Phase: POST_COLLECTION — requires TEXT and DATA results from components.
 // Applicable: MIPS (32-bit and 64-bit), LoongArch.
-// See MIPS H7, LoongArch H4.
 // ---
 // <bcoles@gmail.com>