ARM_L1_TABLE_SIZE
l1pt = _kvm_malloc(kd, ARM_L1_TABLE_SIZE);
if (kvm_read2(kd, pa, l1pt, ARM_L1_TABLE_SIZE) != ARM_L1_TABLE_SIZE) {
_Static_assert(L1_TABLE_SIZE == ARM_L1_TABLE_SIZE, "L1_TABLE_SIZE mismatch");