Searched refs:set_satp_mode_from_cmdline (Results 1 – 1 of 1) sorted by relevance
16 u64 set_satp_mode_from_cmdline(uintptr_t dtb_pa);57 u64 set_satp_mode_from_cmdline(uintptr_t dtb_pa) in set_satp_mode_from_cmdline() function