[eigenform]

by "microcode" i assume they meant "pcode" for the PCU? (but they decided not to make that distinction here for whatever reason?)