return true;
 }
 
-static bool emulator_io_permited(struct x86_emulate_ctxt *ctxt,
-                                u16 port, u16 len)
+static bool emulator_io_permitted(struct x86_emulate_ctxt *ctxt,
+                                 u16 port, u16 len)
 {
        if (ctxt->perm_ok)
                return true;
 static int check_perm_in(struct x86_emulate_ctxt *ctxt)
 {
        ctxt->dst.bytes = min(ctxt->dst.bytes, 4u);
-       if (!emulator_io_permited(ctxt, ctxt->src.val, ctxt->dst.bytes))
+       if (!emulator_io_permitted(ctxt, ctxt->src.val, ctxt->dst.bytes))
                return emulate_gp(ctxt, 0);
 
        return X86EMUL_CONTINUE;
 static int check_perm_out(struct x86_emulate_ctxt *ctxt)
 {
        ctxt->src.bytes = min(ctxt->src.bytes, 4u);
-       if (!emulator_io_permited(ctxt, ctxt->dst.val, ctxt->src.bytes))
+       if (!emulator_io_permitted(ctxt, ctxt->dst.val, ctxt->src.bytes))
                return emulate_gp(ctxt, 0);
 
        return X86EMUL_CONTINUE;