/* Use read_psl, write_psl when saving and restoring interrupt state. */