3 # Print out the KASAN_SHADOW_OFFSETS required to place the KASAN SHADOW
4 # start address at the mid-point of the kernel VA space
6 print_kasan_offset
() {
8 printf "0x%08x00000000\n" $
(( (0xffffffff & (-1 << ($1 - 1 - 32))) \
9 + (1 << ($1 - 32 - $2)) \
10 - (1 << (64 - 32 - $2)) ))
13 echo KASAN_SHADOW_SCALE_SHIFT
= 3
14 printf "VABITS\tKASAN_SHADOW_OFFSET\n"
15 print_kasan_offset
48 3
16 print_kasan_offset
47 3
17 print_kasan_offset
42 3
18 print_kasan_offset
39 3
19 print_kasan_offset
36 3
21 echo KASAN_SHADOW_SCALE_SHIFT
= 4
22 printf "VABITS\tKASAN_SHADOW_OFFSET\n"
23 print_kasan_offset
48 4
24 print_kasan_offset
47 4
25 print_kasan_offset
42 4
26 print_kasan_offset
39 4
27 print_kasan_offset
36 4