INT64 __fastcall KeIsCetCapable(INT64 a1, INT64 a2){ INT64 result; LOBYTE(result) = KiCetCapable != 0; return result; }