Symbol: __HYPERVISOR_mmuext_op