Searched refs:efi_set_u64_split (Results 1 – 2 of 2) sorted by relevance
381 efi_set_u64_split(efi_table_attr(mode, frame_buffer_base), in setup_screen_info()
136 void efi_set_u64_split(u64 data, u32 *lo, u32 *hi) in efi_set_u64_split() function