Searched refs:k_num_linux_registers_s390x (Results 1 – 3 of 3) sorted by relevance
43 return k_num_user_registers_s390x + k_num_linux_registers_s390x; in GetUserRegisterInfoCount()
84 k_num_linux_registers_s390x = k_last_linux_s390x - k_first_linux_s390x + 1, enumerator
68 k_num_linux_registers_s390x,80 {"Linux Operating System Data", "linux", k_num_linux_registers_s390x,