Searched refs:set_ds (Results 1 – 3 of 3) sorted by relevance
271 set_ds(KERNEL_DS); in pal_efi_call_in_32bit_mode()282 set_ds(NULL_SEG); in pal_efi_call_in_32bit_mode()
236 set_ds(uint16_t ds) in set_ds() function
544 set_ds(NULL_SEG); in act_machine_switch_pcb()