Lines Matching defs:allowed
176 "Guests are allowed to use RDPID");
180 "Guests are allowed to use RDTSCP");
192 0, "Guests are allowed to use INVPCID");
958 * if unrestricted guest execution is allowed.
2248 int access_type, offset, allowed;
2257 allowed = 0;
2268 allowed = 1;
2287 allowed = 1;
2294 if (allowed) {
2300 * Regardless of whether the APIC-access is allowed this handler
2302 * - if the access is allowed then it is handled by emulating the
2304 * - if the access is not allowed then it will be converted to an