kasan-offsets.sh

 1#!/bin/sh
 2
 3# Print out the KASAN_SHADOW_OFFSETS required to place the KASAN SHADOW
 4# start address at the top of the linear region
 5
 6print_kasan_offset () {
 7	printf "%02d\t" $1
 8	printf "0x%08x00000000\n" $(( (0xffffffff & (-1 << ($1 - 1 - 32))) \
 9			- (1 << (64 - 32 - $2)) ))
10}
11
12echo KASAN_SHADOW_SCALE_SHIFT = 3
13printf "VABITS\tKASAN_SHADOW_OFFSET\n"
14print_kasan_offset 48 3
15print_kasan_offset 47 3
16print_kasan_offset 42 3
17print_kasan_offset 39 3
18print_kasan_offset 36 3
19echo
20echo KASAN_SHADOW_SCALE_SHIFT = 4
21printf "VABITS\tKASAN_SHADOW_OFFSET\n"
22print_kasan_offset 48 4
23print_kasan_offset 47 4
24print_kasan_offset 42 4
25print_kasan_offset 39 4
26print_kasan_offset 36 4