Symbol: EFI_TIME_OWNED
sys/dev/efidev/efirt.c
598
EFI_TIME_OWNED();
sys/dev/efidev/efirt.c
746
EFI_TIME_OWNED();