Searched refs:k64Bit (Results 1 - 4 of 4) sorted by relevance

/macosx-10.9.5/xnu-2422.115.4/osfmk/i386/commpage/
H A Dcommpage.c262 setif(bits, k64Bit, cpu_mode_is64bit());
416 if (_cpu_capabilities & k64Bit) {
462 if (_cpu_capabilities & k64Bit) {
/macosx-10.9.5/xnu-2422.115.4/osfmk/i386/
H A Dcpu_capabilities.h52 #define k64Bit 0x00000200 /* processor supports EM64T (not what mode you're running in) */ macro
/macosx-10.9.5/xnu-2422.115.4/bsd/kern/
H A Dkern_mib.c438 SYSCTL_PROC(_hw_optional, OID_AUTO, x86_64, CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, (void *) k64Bit, 0, sysctl_cpu_capability, "I", "");
468 cpu64bit = (_get_cpu_capabilities() & k64Bit) == k64Bit;
/macosx-10.9.5/xnu-2422.115.4/tools/tests/xnu_quick_test/
H A Dcommpage_tests.c151 if (!(sys_i32) ^ !(*comm_u32 & k64Bit)) {
152 warnx("k64Bit does not match hw.optional.x86_64");

Completed in 71 milliseconds