Searched refs:get_satp_value (Results 1 – 1 of 1) sorted by relevance
6 static inline u64 get_satp_value(void) in get_satp_value() function30 vmcoreinfo_append_str("NUMBER(satp)=0x%llx\n", get_satp_value()); in arch_crash_save_vmcoreinfo()