public static void sysVirtualProcessorYield() {}
public static void sysVirtualProcessorYield() { VM_SysCallMagic.sysVirtualProcessorYield(VM_BootRecord.the_boot_record.sysVirtualProcessorYieldIP); }
  public static void sysVirtualProcessorYield() {}