@@ -52,10 +52,10 @@ static void x86_64_la57_from_directmap_run(struct kasld_analysis_ctx *ctx) {
5252#if defined(__x86_64__ )
5353/* L4 kernel VAS floor: any DIRECTMAP below this is exclusively L5. */
5454#define X86_64_L4_VAS_START 0xffff800000000000ul
55- /* __PAGE_OFFSET_BASE_L5: directmap floor under L5 paging. CONFIG_RANDOMIZE_MEMORY
56- * only randomises page_offset_base upward from this base, and the regions
57- * below it ([0xff10..., 0xff11...) LDT remap, [0xff00..., 0xff10...) guard
58- * hole) are never used as the directmap base. */
55+ /* __PAGE_OFFSET_BASE_L5: directmap floor under L5 paging.
56+ * CONFIG_RANDOMIZE_MEMORY only randomises page_offset_base upward from this
57+ * base, and the regions below it ([0xff10..., 0xff11...) LDT remap, [0xff00...,
58+ * 0xff10...) guard hole) are never used as the directmap base. */
5959#define X86_64_L5_PO_BASE 0xff11000000000000ul
6060
6161 int have_l5 = 0 ; /* any valid DIRECTMAP result below X86_64_L4_VAS_START */
@@ -93,7 +93,8 @@ static void x86_64_la57_from_directmap_run(struct kasld_analysis_ctx *ctx) {
9393 X86_64_L5_PO_BASE <= ctx -> page_offset_max ) {
9494 if (verbose && !quiet )
9595 fprintf (stdout ,
96- "[infer] virt_page_offset_min tightened by x86_64_la57_from_directmap"
96+ "[infer] virt_page_offset_min tightened by "
97+ "x86_64_la57_from_directmap"
9798 " (L5): %#lx -> %#lx\n" ,
9899 ctx -> page_offset_min , X86_64_L5_PO_BASE );
99100 ctx -> page_offset_min = X86_64_L5_PO_BASE ;
@@ -102,7 +103,8 @@ static void x86_64_la57_from_directmap_run(struct kasld_analysis_ctx *ctx) {
102103 if (l5_max < ctx -> page_offset_max && l5_max >= ctx -> page_offset_min ) {
103104 if (verbose && !quiet )
104105 fprintf (stdout ,
105- "[infer] virt_page_offset_max tightened by x86_64_la57_from_directmap"
106+ "[infer] virt_page_offset_max tightened by "
107+ "x86_64_la57_from_directmap"
106108 " (L5): %#lx -> %#lx\n" ,
107109 ctx -> page_offset_max , l5_max );
108110 ctx -> page_offset_max = l5_max ;
@@ -115,10 +117,11 @@ static void x86_64_la57_from_directmap_run(struct kasld_analysis_ctx *ctx) {
115117 if (X86_64_L4_VAS_START > ctx -> page_offset_min &&
116118 X86_64_L4_VAS_START <= ctx -> page_offset_max ) {
117119 if (verbose && !quiet )
118- fprintf (stdout ,
119- "[infer] virt_page_offset_min tightened by x86_64_la57_from_directmap"
120- " (L4): %#lx -> %#lx\n" ,
121- ctx -> page_offset_min , X86_64_L4_VAS_START );
120+ fprintf (
121+ stdout ,
122+ "[infer] virt_page_offset_min tightened by x86_64_la57_from_directmap"
123+ " (L4): %#lx -> %#lx\n" ,
124+ ctx -> page_offset_min , X86_64_L4_VAS_START );
122125 ctx -> page_offset_min = X86_64_L4_VAS_START ;
123126 }
124127#else
0 commit comments