According to one theory, her name was Tokuko (written as 徳子 in Japanese), but it is also possible that she was named Tokuko in later ages, using one character from Takanori (高徳).
名は一説に徳子とされるが、後世になって高徳から1字をとってつけられた可能性もある。