Searched refs:u64_val (Results 1 – 2 of 2) sorted by relevance
24 uint64_t *u64_val; in gcs_regs() local44 u64_val = (uint64_t *)get_gcspr_el0() + 1; in gcs_regs()45 if (*u64_val) { in gcs_regs()47 u64_val, *u64_val); in gcs_regs()
47 : [u64_val]"i"(0xff12ff34ff56ff78ull) in bswap_64()