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