27 lines · bash
1#!/bin/sh2 3# Print out the KASAN_SHADOW_OFFSETS required to place the KASAN SHADOW4# start address at the top of the linear region5 6print_kasan_offset () {7 printf "%02d\t" $18 printf "0x%08x00000000\n" $(( (0xffffffff & (-1 << ($1 - 1 - 32))) \9 - (1 << (64 - 32 - $2)) ))10}11 12echo KASAN_SHADOW_SCALE_SHIFT = 313printf "VABITS\tKASAN_SHADOW_OFFSET\n"14print_kasan_offset 48 315print_kasan_offset 47 316print_kasan_offset 42 317print_kasan_offset 39 318print_kasan_offset 36 319echo20echo KASAN_SHADOW_SCALE_SHIFT = 421printf "VABITS\tKASAN_SHADOW_OFFSET\n"22print_kasan_offset 48 423print_kasan_offset 47 424print_kasan_offset 42 425print_kasan_offset 39 426print_kasan_offset 36 427