Symbol: Xidle_efi
sys/arch/amd64/stand/efiboot/cmd_i386.c
66
{ "idle", CMDT_CMD, Xidle_efi },
sys/arch/amd64/stand/efiboot/efiboot.h
41
int Xidle_efi(void);