Symbol: KERNEL_L2PT_KASAN_NUM
sys/arch/arm/arm32/arm32_kvminit.c
199
pv_addr_t kasan_l2pt[KERNEL_L2PT_KASAN_NUM];
sys/arch/arm/arm32/arm32_kvminit.c
494
kernel_size += PAGE_SIZE * KERNEL_L2PT_KASAN_NUM;
sys/arch/arm/arm32/arm32_kvminit.c
601
for (size_t idx = 0; idx < KERNEL_L2PT_KASAN_NUM; ++idx) {
sys/arch/arm/arm32/arm32_kvminit.c
754
VM_KERNEL_KASAN_BASE, KERNEL_L2PT_KASAN_NUM);
sys/arch/arm/arm32/arm32_kvminit.c
756
for (size_t idx = 0; idx < KERNEL_L2PT_KASAN_NUM; idx++) {