Searched defs:task_64bit_addr (Results 1 – 1 of 1) sorted by relevance
1292 boolean_t task_64bit_addr = task_has_64Bit_addr(task); in kcdata_get_task_ss_flags() local1451 boolean_t task_64bit_addr = task_has_64Bit_addr(task); in kcdata_record_uuid_info() local