Searched refs:k64Bit (Results 1 – 3 of 3) sorted by relevance
327 setif(bits, k64Bit, cpu_mode_is64bit()); in commpage_init_cpu_capabilities()591 if (_cpu_capabilities & k64Bit) { in commpage_populate()647 if (_cpu_capabilities & k64Bit) { in commpage_text_populate()
54 #define k64Bit 0x00000200 /* processor supports EM64T (not what mode … macro
959 …PE_INT | CTLFLAG_RD | CTLFLAG_KERN | CTLFLAG_LOCKED, (void *) capability(k64Bit), 0, sysctl_cpu_ca…1204 cpu64bit = (_get_cpu_capabilities() & k64Bit) == k64Bit; in sysctl_mib_init()