Lines Matching refs:uint64
135 set_debug_argument_variable(int32 index, uint64 value)
208 uint64 value;
233 value = read_function_argument_value<uint64>(arg, valueKnown);
235 kprintf("uint64: \33[34m%#Lx\33[0m", value);
286 value = read_function_argument_value<uint64>(arg,
289 value = (uint64)arg;
1006 uint64 threadID;
1232 arch_set_debug_variable(const char* variableName, uint64 value)
1248 arch_get_debug_variable(const char* variableName, uint64* value)
1262 uint64 value;
1340 (uint64)B_HOST_TO_BENDIAN_INT64(registers[i].value));