arm_kmmio_fault_page
arm_kmmio_fault_page(ctx->fpage);
arm_kmmio_fault_page(f);
if (arm_kmmio_fault_page(f)) {