Searched refs:kernel_hash (Results 1 - 1 of 1) sorted by relevance

/seL4-test-master/projects/sel4test/apps/sel4test-tests/src/tests/
H A Dregressions.c312 static volatile uint32_t kernel_hash; variable
315 printf("XOR hash for first MB of kernel region 0x%x\n", kernel_hash);
336 kernel_hash ^= kernel[i];

Completed in 26 milliseconds