Documentation/arm64/kasan-offsets.sh

0001 #!/bin/sh
0002
0003 # Print out the KASAN_SHADOW_OFFSETS required to place the KASAN SHADOW
0004 # start address at the top of the linear region
0005
0006 print_kasan_offset () {
0007         printf "%02d\t" $1
0008         printf "0x%08x00000000\n" $(( (0xffffffff & (-1 << ($1 - 1 - 32))) \
0009                         - (1 << (64 - 32 - $2)) ))
0010 }
0011
0012 echo KASAN_SHADOW_SCALE_SHIFT = 3
0013 printf "VABITS\tKASAN_SHADOW_OFFSET\n"
0014 print_kasan_offset 48 3
0015 print_kasan_offset 47 3
0016 print_kasan_offset 42 3
0017 print_kasan_offset 39 3
0018 print_kasan_offset 36 3
0019 echo
0020 echo KASAN_SHADOW_SCALE_SHIFT = 4
0021 printf "VABITS\tKASAN_SHADOW_OFFSET\n"
0022 print_kasan_offset 48 4
0023 print_kasan_offset 47 4
0024 print_kasan_offset 42 4
0025 print_kasan_offset 39 4
0026 print_kasan_offset 36 4