ARM_L1_S_SIZE
return (_kvm_pa2off(kd, *pa, pa, ARM_L1_S_SIZE));
_kvm_pa2off(kd, pte_pa, &pte_off, ARM_L1_S_SIZE);
#define ARM_L1_S_OFFSET (ARM_L1_S_SIZE - 1)
_Static_assert(L1_S_SIZE == ARM_L1_S_SIZE, "L1_S_SIZE mismatch");